23
60
96
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| - | 2,059 | Lean 4 programming language and theorem prover | |
| - | 1,432 | Lean mathematical components library | |
| - | 432 | Demo for high-performance type theory elaboration | |
| - | 297 | Simple verification of Rust programs via functional purification in Lean 2(!) | |
| - | 263 | Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. | |
| - | 252 | Building the natural numbers in Lean. | |
| - | 141 | Lean stuff for M40001 | |
| - | 113 | 💧 Liquid Tensor Experiment | |
| - | 101 | Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. | |
| - | 94 | A formal proof of the independence of the continuum hypothesis | |
| - | 91 | Companion files for Logical Verification 2020–2021 at VU Amsterdam | |
| - | 91 | A simple raytracer written in Lean 4 | |
| - | 71 | Interactive neural theorem proving in Lean | |
| - | 71 | HoTT in Lean 3 | |
| - | 63 | A gamification of the theorems in MATH40002 Analysis 1 | |
| - | 26 | Collection of benchmarks of functional programming languages and proof assistants. | |
| - | 22 | Lean-independent implementation of the MM-Lean link | |
| - | 19 | ||
| - | 16 | Fermat's Last Theorem for regular primes | |
| - | 11 | Superposition prover |
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 2,059 | lean4 |
| 1,432 | mathlib |
| 1 | exists-unique |
| 3 | hatsugen |
| 113 | lean-liquid |
| 16 | flt-regular |
| 263 | formalising-mathematics |
| 22 | mathematica |
| 26 | Functional-Benchmarks |
| 432 | smalltt |
| 5 | BrouwerFixedPoint |
| 94 | flypitch |
| 19 | logical_verification_2021 |
| 101 | formalising-mathematics-2022 |
| 141 | M40001_lean |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 1 | exists-unique |
| 16 | flt-regular |
| 22 | mathematica |
| 26 | Functional-Benchmarks |
| 3 | hatsugen |
| 5 | BrouwerFixedPoint |
| 94 | flypitch |
| 101 | formalising-mathematics-2022 |
| 19 | logical_verification_2021 |
| 263 | formalising-mathematics |
| 297 | electrolysis |
| 91 | logical_verification_2020 |
| 141 | M40001_lean |
| 71 | hott3 |
| 71 | lean-gptf |
| 11 | super |
| 432 | smalltt |
| 252 | natural_number_game |
| 113 | lean-liquid |
| 91 | lean4-raytracer |