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 |