PrototypeCommune
jesse-michael-han/lean-gptf
Interactive neural theorem proving in Lean
- Propriétaire
- jesse-michael-han (compte personnel)
- Étoiles
- Étoiles : 135
- Forks
- Forks : 7
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/reference-manualÉtoiles : 137LeanPrototype
- openai/cdc-leanÉtoiles : 136LeanPrototype
- eric-wieser/lean-matrix-cookbookÉtoiles : 135LeanPrototype
- opencompl/veirÉtoiles : 134LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype