The Stacks Project, Formalized in Lean(axiommath.ai)
86 points by namanbnsl | 23 comments
Axiom blog post announcing a Lean formalization of the entire Stacks Project, a 16-million-line library of algebraic geometry built with coordinated AI agent swarms.