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
Mentions Stars Project Description
1 844 Lean mathematical components library
1 28 Interactive neural theorem proving in Lean
1 8 Superposition prover

Popular Lean Topics

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