Dépôts Lean, page 2
142 dépôts Lean au catalogue, du plus étoilé au moins étoilé.
- verse-lab/veilÉtoiles : 348LeanAlpha
- Kha/electrolysisÉtoiles : 340LeanAlpha
- math-inc/strongpntÉtoiles : 327LeanAlpha
- facebookresearch/atlas-leanÉtoiles : 325LeanAlpha
- google-deepmind/alphaproof-nexus-resultsÉtoiles : 322LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookÉtoiles : 316LeanAlpha
- ufmg-smite/lean-smtÉtoiles : 315LeanAlpha
- NyxFoundation/nyxisÉtoiles : 314LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- FormalizedFormalLogic/FoundationÉtoiles : 296LeanAlpha
- konne88/functorioÉtoiles : 295LeanAlpha
- strata-org/StrataÉtoiles : 287LeanAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
- opencompl/lean-mlirÉtoiles : 273LeanAlpha
- trishullab/PutnamBenchÉtoiles : 270LeanAlpha
- digama0/lean4leanÉtoiles : 269LeanAlpha
- tristanbuckmaster/fluid_leanÉtoiles : 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha
- TauCetiProject/TauCetiÉtoiles : 259LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha
- mit-pdos/perennialÉtoiles : 253LeanAlpha
- leanprover/comparatorÉtoiles : 247LeanPrototype
- teorth/pfrÉtoiles : 246LeanPrototype
- leanprover-community/iris-leanÉtoiles : 244LeanPrototype
- Pengbinghui/pipeline-mathÉtoiles : 243LeanPrototype
- leanprover-community/replÉtoiles : 237LeanPrototype
- leanprover-community/ProofWidgets4Étoiles : 231LeanPrototype
- ShouqiaoW/erdosÉtoiles : 230LeanPrototype