Discover trending Lean
open-source projects

13
18
31
Our great sponsors
  • Scout APM - A developer's best friend. Try free for 14-days
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • SaaSHub - Software Alternatives and Reviews
Mentions
@
Stars Project Description
- 1,267 Lean 4 programming language and theorem prover
- 1,026 Lean mathematical components library
- 271 Simple verification of Rust programs via functional purification in Lean 2(!)
- 261 Demo for high-performance type theory elaboration
- 176 Building the natural numbers in Lean.
- 106 Lean stuff for M40001
- 85 Companion files for Logical Verification 2020–2021 at VU Amsterdam
- 80 A simple raytracer written in Lean 4
- 74 💧 Liquid Tensor Experiment
- 62 HoTT in Lean 3
- 49 A gamification of the theorems in MATH40002 Analysis 1
- 40 Interactive neural theorem proving in Lean
- 9 Superposition prover

Popular Lean Topics

Latest Mentions

Latest mentioned Lean repos
Stars Project
1,267 lean4
271 electrolysis
85 logical_verification_2020
106 M40001_lean
1,026 mathlib
62 hott3
40 lean-gptf
9 super
74 lean-liquid
261 smalltt
176 natural_number_game
80 lean4-raytracer
49 real-number-game

Latest Discoveries

Latest discovered Lean repos
Stars Project
271 electrolysis
85 logical_verification_2020
106 M40001_lean
62 hott3
40 lean-gptf
9 super
261 smalltt
176 natural_number_game
74 lean-liquid
80 lean4-raytracer
1,026 mathlib
49 real-number-game
1,267 lean4