Dépôts Lean, page 4
142 dépôts Lean au catalogue, du plus étoilé au moins étoilé.
- Timeroot/Lean-QuantumInfoÉtoiles : 146LeanPrototype
- loganrjmurphy/LeanEuclidÉtoiles : 145LeanPrototype
- LeanPool/lean-poolÉtoiles : 144LeanPrototype
- ndrwnaguib/principiaÉtoiles : 143LeanPrototype
- chasenorman/CanonicalLeanÉtoiles : 141LeanPrototype
- YuanheZ/lean-stat-learning-theoryÉtoiles : 141LeanPrototype
- leanprover/con-lecheÉtoiles : 141LeanPrototype
- b-mehta/formalising-mathematics-notesÉtoiles : 140LeanPrototype
- kim-em/lean-zipÉtoiles : 139LeanPrototype
- goedelcodeprover/Goedel-Code-ProverÉtoiles : 138LeanPrototype
- leanprover/reference-manualÉtoiles : 137LeanPrototype
- openai/cdc-leanÉtoiles : 136LeanPrototype
- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype
- eric-wieser/lean-matrix-cookbookÉtoiles : 135LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- opencompl/veirÉtoiles : 133LeanPrototype
- frenzymath/jixiaÉtoiles : 131LeanPrototype
- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype
- zhangir-azerbayev/ProofNetÉtoiles : 127LeanPrototype
- leanprover/lean4-cliÉtoiles : 125LeanPrototype
- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype
- blanchette/logical_verification_2023Étoiles : 122LeanPrototype
- emilyriehl/infinity-cosmosÉtoiles : 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Étoiles : 121LeanPrototype
- TwoFX/sudokuÉtoiles : 120LeanPrototype
- avigad/lamrÉtoiles : 120LeanPrototype
- google-deepmind/debateÉtoiles : 120LeanPrototype
- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype