PrototypeCommune
goedelcodeprover/Goedel-Code-Prover
Pas de description.
- Propriétaire
- goedelcodeprover (compte personnel)
- Étoiles
- Étoiles : 138
- Forks
- Forks : 6
- Langage
- Lean
- Licence
- MIT
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/con-lecheÉtoiles : 141LeanPrototype
- b-mehta/formalising-mathematics-notesÉtoiles : 140LeanPrototype
- kim-em/lean-zipÉtoiles : 139LeanPrototype
- leanprover/reference-manualÉtoiles : 137LeanPrototype
- openai/cdc-leanÉtoiles : 136LeanPrototype
- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype