32
83
144
Our great sponsors
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- Onboard AI - Learn any GitHub repo in 59 seconds
- SaaSHub - Software Alternatives and Reviews
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 1 | 1,619 | Lean 3's obsolete mathematical components library: please use mathlib4 | |
| 1 | 3 | A small programming language formally defined with a series of blog posts and Lean code. | |
| 1 | 1 | A proof of the infinitude of primes in Lean 4 from first principles |
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 1 | InfinitePrimes |
| 1,619 | mathlib |
| 3 | hatsugen |
| 467 | mathlib4 |
| 0 | LeanServer |
| 3,252 | lean4 |
| 72 | symmetric_project |
| 35 | logical_verification_2023 |
| 42 | topos |
| 98 | logical_verification_2020 |
| 3 | lamda_calculus_formalizations |
| 320 | electrolysis |
| 169 | lean4-metaprogramming-book |
| 99 | lean4-raytracer |
| 0 | MyFirstProofInLean |
| 30 | Functional-Benchmarks |
| 48 | lean-chat |
| 3 | exists-unique |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 1 | InfinitePrimes |
| 0 | LeanServer |
| 72 | symmetric_project |
| 42 | topos |
| 35 | logical_verification_2023 |
| 3 | lamda_calculus_formalizations |
| 169 | lean4-metaprogramming-book |
| 467 | mathlib4 |
| 0 | MyFirstProofInLean |
| 48 | lean-chat |
| 3 | exists-unique |
| 23 | flt-regular |
| 25 | mathematica |
| 30 | Functional-Benchmarks |
| 3 | hatsugen |
| 13 | BrouwerFixedPoint |
| 100 | flypitch |
| 115 | formalising-mathematics-2022 |
| 25 | logical_verification_2021 |
| 279 | formalising-mathematics |
Recently updated posts
- A slightly longer Lean 4 proof tour
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- A Linguagem Lua completa 30 anos!
- Show HN: The first complete open source implementation of Turing's famous paper
- Lean 4.0.0, first official lean4 release