Axiom 宣布完成对 Stacks Project 的形式化验证

导读

估值 16 亿美元的 AxiomMath 宣布正式验证 Stacks Project，将其约 7,654 页内容转化为约 1600 万行经计算机逐行检查的 Lean 代码。