| 1. | | The Sphere Packing Project – Post 1 – The Story (leanprover-community.github.io) |
| 1 point by Aleksandr_NFA 4 days ago | past | discuss |
|
| 2. | | L∃AN together – live stream schedule (leanprover-community.github.io) |
| 18 points by tzury 9 months ago | past | 3 comments |
|
| 3. | | Lean Community (leanprover-community.github.io) |
| 1 point by tzury on Aug 20, 2025 | past |
|
| 4. | | 100 theorems in Lean (leanprover-community.github.io) |
| 11 points by ggzor on May 23, 2025 | past |
|
| 5. | | The ∞-Cosmos Project (leanprover-community.github.io) |
| 2 points by mauricioc on Sept 18, 2024 | past |
|
| 6. | | The Fermat's Last Theorem Project (leanprover-community.github.io) |
| 75 points by happa on April 30, 2024 | past | 41 comments |
|
| 7. | | 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 |
|
| 8. | | Mathmatics in Lean (leanprover-community.github.io) |
| 1 point by mcshicks on March 27, 2024 | past |
|
| 9. | | Comparing Lean with Coq (2021) (leanprover-community.github.io) |
| 4 points by nequo on Sept 18, 2023 | past |
|
| 10. | | The Lean Theorem Prover (leanprover-community.github.io) |
| 2 points by bx376 on March 21, 2022 | past | 1 comment |
|
| 11. | | Lean Together 2021 – A meeting for Lean users and other formalizers (leanprover-community.github.io) |
| 2 points by mauricioc on Dec 28, 2020 | past |
|
| 12. | | Lean and Its Mathematical Library (leanprover-community.github.io) |
| 2 points by headalgorithm on Oct 1, 2020 | past |
|
| 13. | | The Lean Mathematical Library (leanprover-community.github.io) |
| 2 points by svara on June 25, 2020 | past |
|
| 14. | | Sphere Eversion: A Formal Blueprint (leanprover-community.github.io) |
| 2 points by kevinbuzzard on June 4, 2020 | past |
|
| 15. | | Proving Perfectoid Spaces in Lean Theorem Prover (leanprover-community.github.io) |
| 1 point by adamnemecek on Nov 3, 2019 | past |
|
