100 theorems in Lean
a year ago
- #formal-verification
- #mathematics
- #theorem-proving
- Freek Wiedijk maintains a list tracking progress of theorem provers in formalizing 100 classic theorems in mathematics.
- Currently, 81 theorems are formalized in Lean, with 0 additional theorems having only their statements formalized.
- The list includes notable theorems like the Irrationality of the Square Root of 2, Fundamental Theorem of Algebra, and Pythagorean Theorem.
- Each theorem is attributed to one or more authors, such as Chris Hughes, Joseph Myers, and Jeremy Avigad.
- The list serves as a benchmark for comparing theorem provers and encourages contributions via GitHub pull requests.