|
|
| Proof Assistant · 乐观的皮蛋 · · 1 年前 2021年7月28日 ... Lean compiled the proof, and it ran like a functioning program, verifying that Scholze's work was 100% correct. Now Scholze and other;... |
|
| Proof Assistant · 乐观的皮蛋 · · 1 年前 The Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. The;... |
|
| Proof Assistant · 乐观的皮蛋 · theory · 1 年前 2023年1月25日 ... A proof assistant or proof management system is a kind of software designed to help with proofs in formalized mathematics. Many proof assistants;... |
|