Discover trending Lean
open-source projects

23
60
96
Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
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