44
102
182
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 4,929 | lean4 |
| 4 | aoc2022 |
| 1,664 | mathlib4 |
| 155 | lean-smt |
| 233 | lean4-metaprogramming-book |
| 131 | verso |
| 59 | interactive_theorem_proving_2024 |
| 90 | logical_verification_2023 |
| 355 | SciLean |
| 94 | cedar-spec |
| 66 | con-nf |
| 18 | lean4checker |
| 32 | lean-ssr |
| 267 | batteries |
| 325 | mm0 |
| 8 | InfinitePrimes |
| 1,668 | mathlib3 |
| 5 | hatsugen |
| 0 | LeanServer |
| 84 | symmetric_project |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 4 | aoc2022 |
| 155 | lean-smt |
| 131 | verso |
| 59 | interactive_theorem_proving_2024 |
| 355 | SciLean |
| 18 | lean4checker |
| 66 | con-nf |
| 32 | lean-ssr |
| 267 | batteries |
| 8 | InfinitePrimes |
| 0 | LeanServer |
| 84 | symmetric_project |
| 94 | cedar-spec |
| 56 | topos |
| 90 | logical_verification_2023 |
| 3 | lamda_calculus_formalizations |
| 233 | lean4-metaprogramming-book |
| 1,664 | mathlib4 |
| 0 | MyFirstProofInLean |
| 49 | lean-chat |
Recently updated posts
-
Programming Language and Theorem Prover
-
Lean: Programming Language and Theorem Prover
-
Fermat's Last Theorem – how it's going
-
Discharging Lean goals into SMT solvers
-
LLMs don't do formal reasoning – and that is a problem