|
|
| | 100 theorems in Lean (leanprover-community.github.io) | | 11 points by ggzor 39 days ago | past | |
| | The ∞-Cosmos Project (leanprover-community.github.io) | | 2 points by mauricioc 9 months ago | past | |
| | The Fermat's Last Theorem Project (leanprover-community.github.io) | | 75 points by happa on April 30, 2024 | past | 41 comments | |
| | New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io) | | 340 points by namanyayg on April 23, 2024 | past | 162 comments | |
| | Mathmatics in Lean (leanprover-community.github.io) | | 1 point by mcshicks on March 27, 2024 | past | |
| | Comparing Lean with Coq (2021) (leanprover-community.github.io) | | 4 points by nequo on Sept 18, 2023 | past | |
| | The Lean Theorem Prover (leanprover-community.github.io) | | 2 points by bx376 on March 21, 2022 | past | 1 comment | |
| | Lean Together 2021 – A meeting for Lean users and other formalizers (leanprover-community.github.io) | | 2 points by mauricioc on Dec 28, 2020 | past | |
| | Lean and Its Mathematical Library (leanprover-community.github.io) | | 2 points by headalgorithm on Oct 1, 2020 | past | |
| | The Lean Mathematical Library (leanprover-community.github.io) | | 2 points by svara on June 25, 2020 | past | |
| | Sphere Eversion: A Formal Blueprint (leanprover-community.github.io) | | 2 points by kevinbuzzard on June 4, 2020 | past | |
| | Proving Perfectoid Spaces in Lean Theorem Prover (leanprover-community.github.io) | | 1 point by adamnemecek on Nov 3, 2019 | past | |
|
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
