38
91
158
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 |
---|---|
3,870 | lean4 |
71 | cedar-spec |
16 | lean4checker |
56 | con-nf |
29 | lean-ssr |
208 | batteries |
7 | InfinitePrimes |
1,648 | mathlib |
5 | hatsugen |
953 | mathlib4 |
0 | LeanServer |
79 | symmetric_project |
46 | topos |
59 | logical_verification_2023 |
97 | logical_verification_2020 |
3 | lamda_calculus_formalizations |
325 | electrolysis |
202 | lean4-metaprogramming-book |
116 | lean4-raytracer |
0 | MyFirstProofInLean |
Latest Discoveries
Latest discovered Lean repos
Stars | Project |
---|---|
16 | lean4checker |
56 | con-nf |
29 | lean-ssr |
208 | batteries |
7 | InfinitePrimes |
0 | LeanServer |
79 | symmetric_project |
71 | cedar-spec |
46 | topos |
59 | logical_verification_2023 |
3 | lamda_calculus_formalizations |
202 | lean4-metaprogramming-book |
953 | mathlib4 |
0 | MyFirstProofInLean |
47 | lean-chat |
3 | exists-unique |
49 | flt-regular |
25 | mathematica |
32 | Functional-Benchmarks |
5 | hatsugen |
Recently updated posts
-
The Fermat's Last Theorem Project
-
Dafny is a verification-aware programming language
-
New Foundations is consistent – a difficult mathematical proof proved using Lean
-
LeanSSR: An SSReflect-Like Tactic Language for Lean
-
The Mechanics of Proof