| | Lean 4, Release v4.17.0 (github.com/leanprover) |
| 5 points by todsacerdoti on March 4, 2025 | past |
|
| | Lean 4.0 (github.com/leanprover) |
| 130 points by quag on Sept 8, 2023 | past | 91 comments |
|
| | Check my proof of P=NP for errors [pdf] (github.com/leanprover) |
| 3 points by porton on June 28, 2021 | past | 12 comments |
|
| | Lean Theorem Prover (github.com/leanprover) |
| 2 points by tosh on Oct 14, 2019 | past |
|
| | Lean Theorem Prover (github.com/leanprover) |
| 1 point by luu on June 21, 2014 | past |
|
