Axiom Math Turns 7,654 Pages of Math Into 16 Million Lines of Verified Code

AxiomMath says it formally verified the 7,654-page Stacks Project into 16 million lines of Lean code — and its 25-year-old CEO is daring coding rivals to match the feat.