PrototypeCommune
leanprover/reference-manual
The Lean reference manual
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 137
- Forks
- Forks : 70
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- 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
D’autres dépôts Lean
Tous les dépôts Lean- b-mehta/formalising-mathematics-notesÉtoiles : 140LeanPrototype
- kim-em/lean-zipÉtoiles : 139LeanPrototype
- goedelcodeprover/Goedel-Code-ProverÉtoiles : 138LeanPrototype
- openai/cdc-leanÉtoiles : 136LeanPrototype
- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype
- eric-wieser/lean-matrix-cookbookÉtoiles : 135LeanPrototype