GitHub repos by leanprover-community
23 public repos by leanprover-community in the catalog, most starred first.
- leanprover-community/mathlib4Stars: 4,418LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 577TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
- leanprover-community/batteriesStars: 428LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- leanprover-community/NNG4Stars: 387LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 317LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha
- leanprover-community/iris-leanStars: 246LeanPrototype
- leanprover-community/replStars: 237LeanPrototype
- leanprover-community/ProofWidgets4Stars: 231LeanPrototype
- leanprover-community/lean-autoStars: 195LeanPrototype
- leanprover-community/tutorialsStars: 183LeanPrototype
- leanprover-community/lean4webStars: 161TypeScriptPrototype
- leanprover-community/lean4-modeStars: 142Emacs LispPrototype
- leanprover-community/lean-perfectoid-spacesStars: 133LeanPrototype
- leanprover-community/duperStars: 119LeanPrototype
- leanprover-community/LeanProjectStars: 119PythonPrototype
- leanprover-community/plausibleStars: 119LeanPrototype
- leanprover-community/quote4Stars: 111LeanPrototype