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