Dépôts de leanprover
18 dépôts publics de leanprover au catalogue, du plus étoilé au moins étoilé.
- leanprover/lean4Étoiles : 9 804LeanStable
- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
- leanprover/comparatorÉtoiles : 247LeanPrototype
- leanprover/fp-leanÉtoiles : 204LeanPrototype
- leanprover/doc-gen4Étoiles : 176LeanPrototype
- leanprover/con-lecheÉtoiles : 141LeanPrototype
- leanprover/reference-manualÉtoiles : 137LeanPrototype
- leanprover/lean2Étoiles : 128C++Prototype
- leanprover/lean4-cliÉtoiles : 125LeanPrototype
- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover/vscode-leanÉtoiles : 114TypeScriptPrototype
- leanprover/SampCertÉtoiles : 106LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype