The process of translating informal mathematical or scientific arguments into a formally verifiable language where every logical step must be machine-checkable. What Tooby-Smith did to the 2006 physics paper. The higher standard that revealed the error peer review missed
