GitHub repos by leanprover
18 public repos by leanprover in the catalog, most starred first.
- leanprover/lean4Stars: 9,820LeanStable
- leanprover/lean3Stars: 2,152C++RC
- leanprover/cslibStars: 789LeanBeta
- leanprover/elanStars: 672RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- leanprover/comparatorStars: 247LeanPrototype
- leanprover/fp-leanStars: 204LeanPrototype
- leanprover/doc-gen4Stars: 177LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype
- leanprover/reference-manualStars: 137LeanPrototype
- leanprover/lean2Stars: 128C++Prototype
- leanprover/lean4-cliStars: 125LeanPrototype
- leanprover/LNSymStars: 120LeanPrototype
- leanprover/vscode-leanStars: 114TypeScriptPrototype
- leanprover/SampCertStars: 106LeanPrototype
- leanprover/lakeStars: 101LeanPrototype