Axiom Math says it formally verified the Stacks Project
Agents turned about 7,654 pages into roughly 16 million lines of Lean checked by a proof assistant.
1
Stories per day · 30 days
1 stories, newest first · one card per story
Stories tagged #algebraic-geometry