38
90
156
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 53 | 3,739 | Lean 4 programming language and theorem prover | |
| 3 | 66 | Definitional implementation of Cedar language and utilities for DRT | |
| 1 | 33 | A formal consistency proof of Quine's set theory New Foundations | |
| 1 | 14 | Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel. |
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 3,739 | lean4 |
| 66 | cedar-spec |
| 33 | con-nf |
| 14 | lean4checker |
| 28 | lean-ssr |
| 195 | std4 |
| 7 | InfinitePrimes |
| 1,625 | mathlib |
| 5 | hatsugen |
| 791 | mathlib4 |
| 0 | LeanServer |
| 78 | symmetric_project |
| 46 | topos |
| 57 | logical_verification_2023 |
| 97 | logical_verification_2020 |
| 3 | lamda_calculus_formalizations |
| 322 | electrolysis |
| 193 | lean4-metaprogramming-book |
| 113 | lean4-raytracer |
| 0 | MyFirstProofInLean |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 14 | lean4checker |
| 33 | con-nf |
| 28 | lean-ssr |
| 195 | std4 |
| 7 | InfinitePrimes |
| 0 | LeanServer |
| 78 | symmetric_project |
| 66 | cedar-spec |
| 46 | topos |
| 57 | logical_verification_2023 |
| 3 | lamda_calculus_formalizations |
| 193 | lean4-metaprogramming-book |
| 791 | mathlib4 |
| 0 | MyFirstProofInLean |
| 47 | lean-chat |
| 3 | exists-unique |
| 45 | flt-regular |
| 25 | mathematica |
| 32 | Functional-Benchmarks |
| 5 | hatsugen |