23
60
96
Our great sponsors
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 2,059 | lean4 |
| 1,432 | mathlib |
| 1 | exists-unique |
| 3 | hatsugen |
| 113 | lean-liquid |
| 16 | flt-regular |
| 263 | formalising-mathematics |
| 22 | mathematica |
| 26 | Functional-Benchmarks |
| 432 | smalltt |
| 5 | BrouwerFixedPoint |
| 94 | flypitch |
| 19 | logical_verification_2021 |
| 101 | formalising-mathematics-2022 |
| 141 | M40001_lean |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 1 | exists-unique |
| 16 | flt-regular |
| 22 | mathematica |
| 26 | Functional-Benchmarks |
| 3 | hatsugen |
| 5 | BrouwerFixedPoint |
| 94 | flypitch |
| 101 | formalising-mathematics-2022 |
| 19 | logical_verification_2021 |
| 263 | formalising-mathematics |
| 297 | electrolysis |
| 91 | logical_verification_2020 |
| 141 | M40001_lean |
| 71 | hott3 |
| 71 | lean-gptf |
| 11 | super |
| 432 | smalltt |
| 252 | natural_number_game |
| 113 | lean-liquid |
| 91 | lean4-raytracer |