Lean LibHunt

Discover popular and related Lean open-source projects

10
21
24
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

lean4

natural_number_game

mathlib
Mentions Stars Project Description
1 971
mathlib
 Lean mathematical components library
1 41
M40001_lean
 Lean stuff for M40001

Popular Lean Topics

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

Latest Mentions

Latest mentioned Lean repos
Stars Project
41 M40001_lean
971 mathlib
59 hott3
8 super
37 lean-gptf
67 lean-liquid
1,169 lean4
167 natural_number_game
76 lean4-raytracer
46 real-number-game

Latest Discoveries

Latest discovered Lean repos
Stars Project
41 M40001_lean
59 hott3
37 lean-gptf
8 super
167 natural_number_game
67 lean-liquid
76 lean4-raytracer
971 mathlib
46 real-number-game
1,169 lean4

99remotejobs.com

Find remote jobs at our new job board 99remotejobs.com.
There are 37 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.