20
51
77
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 1 | 1,923 | Lean 4 programming language and theorem prover | |
| 1 | 1,382 | Lean mathematical components library | |
| 1 | 257 | Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. | |
| 1 | 21 | Lean-independent implementation of the MM-Lean link |
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 257 | formalising-mathematics |
| 1,923 | lean4 |
| 21 | mathematica |
| 1,382 | mathlib |
| 3 | hatsugen |
| 426 | smalltt |
| 5 | BrouwerFixedPoint |
| 94 | flypitch |
| 19 | logical_verification_2021 |
| 91 | formalising-mathematics-2022 |
| 134 | M40001_lean |
| 70 | hott3 |
| 297 | electrolysis |
| 91 | logical_verification_2020 |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 21 | mathematica |
| 3 | hatsugen |
| 5 | BrouwerFixedPoint |
| 94 | flypitch |
| 91 | formalising-mathematics-2022 |
| 19 | logical_verification_2021 |
| 257 | formalising-mathematics |
| 297 | electrolysis |
| 91 | logical_verification_2020 |
| 134 | M40001_lean |
| 70 | hott3 |
| 62 | lean-gptf |
| 11 | super |
| 426 | smalltt |
| 242 | natural_number_game |
| 108 | lean-liquid |
| 92 | lean4-raytracer |
| 1,382 | mathlib |
| 62 | real-number-game |
| 1,923 | lean4 |
Recently updated posts
- Quotient type? Commutative modulo permutations?
- At what point should we expect A.I to do mathematics "on its own"?
- Advice for Taking Set Theory with no real math background
- What Are You Working On? September 05, 2022
- What Are You Working On? August 01, 2022