Lean LibHunt

Discover popular and related Lean open-source projects

9
14
17
Our great sponsors
  • Scout APM - Leading-edge performance monitoring starting at $39/month
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

natural_number_game

lean4

mathlib
Mentions Stars Project Description
1 844
mathlib
 Lean mathematical components library
1 28
lean-gptf
 Interactive neural theorem proving in Lean
1 8
super
 Superposition prover

Popular Lean Topics

#formal-mathematics #Formal Methods #formal-proofs #Lean #proof-automation #theorem-proving

Latest Mentions

Latest mentioned Lean repos
Stars Project
844 mathlib
28 lean-gptf
8 super
49 miniF2F
43 lean-liquid
876 lean4
150 natural_number_game
72 lean4-raytracer
45 real-number-game

Latest Discoveries

Latest discovered Lean repos
Stars Project
28 lean-gptf
8 super
49 miniF2F
150 natural_number_game
43 lean-liquid
72 lean4-raytracer
844 mathlib
45 real-number-game
876 lean4