| | The ∞-Cosmos Project (leanprover-community.github.io) |
|
2 points by mauricioc 8 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
|
|
