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 1,267 Lean 4 programming language and theorem 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