Dépôts Lean, page 5
142 dépôts Lean au catalogue, du plus étoilé au moins étoilé.
- leanprover-community/duperÉtoiles : 119LeanPrototype
- oftenjames/romulusÉtoiles : 119LeanPrototype
- leanprover-community/plausibleÉtoiles : 118LeanPrototype
- sunblaze-ucb/veroÉtoiles : 116LeanPrototype
- fpvandoorn/carlesonÉtoiles : 114LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- vihdzp/combinatorial-gamesÉtoiles : 113LeanPrototype
- optsuite/optlibÉtoiles : 112LeanPrototype
- pandaman64/lean-regexÉtoiles : 112LeanPrototype
- James-Hanson/junk-theorems-in-leanÉtoiles : 112LeanPrototype
- leanprover-community/quote4Étoiles : 111LeanPrototype
- schildep/verified-3d-mesh-intersectionÉtoiles : 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanÉtoiles : 108LeanPrototype
- leanprover/SampCertÉtoiles : 106LeanPrototype
- NethermindEth/LeanCILÉtoiles : 106LeanPrototype
- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype
- NethermindEth/EVMYulLeanÉtoiles : 101LeanPrototype
- JOSHCLUNE/LeanHammerÉtoiles : 100LeanPrototype