2026-11-05 16:19:49
AxiomMath Formalizes Stacks Project, Converting 7,654 Pages into 16 Million Lines of Verified Code on Wednesday
According to TechCrunch, AxiomMath announced on Wednesday that it had formally verified the Stacks Project, one of the largest bodies of mathematics ever compiled. The company translated the project's approximately 7,654 pages into roughly 16 million lines of computer-checked code using Lean, a prog