37
88
153
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 |
---|---|
24 | lean-ssr |
3,646 | lean4 |
184 | std4 |
0 | aoc2023 |
7 | InfinitePrimes |
1,619 | mathlib |
5 | hatsugen |
60 | cedar-spec |
678 | mathlib4 |
0 | LeanServer |
76 | symmetric_project |
56 | logical_verification_2023 |
46 | topos |
97 | logical_verification_2020 |
3 | lamda_calculus_formalizations |
322 | electrolysis |
193 | lean4-metaprogramming-book |
110 | lean4-raytracer |
0 | MyFirstProofInLean |
32 | Functional-Benchmarks |
Latest Discoveries
Latest discovered Lean repos
Stars | Project |
---|---|
24 | lean-ssr |
184 | std4 |
0 | aoc2023 |
7 | InfinitePrimes |
0 | LeanServer |
76 | symmetric_project |
60 | cedar-spec |
46 | topos |
56 | logical_verification_2023 |
3 | lamda_calculus_formalizations |
193 | lean4-metaprogramming-book |
678 | mathlib4 |
0 | MyFirstProofInLean |
47 | lean-chat |
3 | exists-unique |
41 | flt-regular |
25 | mathematica |
32 | Functional-Benchmarks |
5 | hatsugen |
13 | BrouwerFixedPoint |