Topic
Verified Software
1 story tagged Verified Software, newest first.
Nov 5, 2026, 4:16 PMArtificial Intelligence and Mathematics
Axiom Math Verifies Stacks Project in 16 Million Lines of Lean Code
Axiom Math converted the 7,654-page Stacks Project into 16 million lines of verified Lean code, creating a foundation for AI proofs and secure software.
DateSectionHeadlineSource