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
Mentions Stars Project Description
1 971 Lean mathematical components library
1 41 Lean stuff for M40001

Popular Lean Topics

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.