TechnologyAxiom Math verifies Stacks Project, enhances 7,654-page library with Lean codeAxiom Math has verified the Stacks Project, transforming its extensive 7,654-page mathematical library into 16 million lines of Lean code, ensuring formal proof integrity. This milestone aims to counteract...TechCrunch · 8 days ago · 2 min read