Dépôts Lean, page 3
142 dépôts Lean au catalogue, du plus étoilé au moins étoilé.
- kbuzzard/xenaÉtoiles : 229LeanPrototype
- avigad/mathematics_in_lean_sourceÉtoiles : 221LeanPrototype
- cedar-policy/cedar-specÉtoiles : 220LeanPrototype
- openai/ten-proofsÉtoiles : 217LeanPrototype
- cmu-l3/llmleanÉtoiles : 216LeanPrototype
- Verified-zkEVM/cleanÉtoiles : 207LeanPrototype
- leanprover/fp-leanÉtoiles : 204LeanPrototype
- openai/lean-gymÉtoiles : 201LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- lean-ja/lean-by-exampleÉtoiles : 192LeanPrototype
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- cajal-technologies/talosÉtoiles : 191LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanprover/doc-gen4Étoiles : 176LeanPrototype
- leanEthereum/leanVMÉtoiles : 176LeanPrototype
- lean-forward/logical_verification_2025Étoiles : 172LeanPrototype
- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype
- openai/PrimeGaps186Étoiles : 169LeanPrototype
- Verified-zkEVM/VCVioÉtoiles : 168LeanPrototype
- verse-lab/loomÉtoiles : 167LeanPrototype
- ImperialCollegeLondon/M40001_leanÉtoiles : 165LeanPrototype
- Verilean/sparkleÉtoiles : 164LeanPrototype
- PatrickMassot/verbose-lean4Étoiles : 162LeanPrototype
- nomeata/loogleÉtoiles : 159LeanPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- josevalim/lynxÉtoiles : 152LeanPrototype
- lfglabs-dev/verityÉtoiles : 151LeanPrototype
- flypitch/flypitchÉtoiles : 150LeanPrototype
- argumentcomputer/yatimaÉtoiles : 148LeanPrototype
- kmill/lean4-raytracerÉtoiles : 147LeanPrototype