| | L∃AN together – live stream schedule (leanprover-community.github.io) |
| 18 points by tzury 22 days ago | past | 3 comments |
|
| | Lean Community (leanprover-community.github.io) |
| 1 point by tzury 5 months ago | past |
|
| | 100 theorems in Lean (leanprover-community.github.io) |
| 11 points by ggzor 8 months ago | past |
|
| | The ∞-Cosmos Project (leanprover-community.github.io) |
| 2 points by mauricioc on Sept 18, 2024 | 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 |
|
