PrototypeCommune
siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
- Propriétaire
- siddhartha-gadgil (compte personnel)
- Étoiles
- Étoiles : 125
- Forks
- Forks : 17
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2022
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de siddhartha-gadgil
Les 2 dépôts de siddhartha-gadgil- siddhartha-gadgil/ProvingGroundÉtoiles : 205Jupyter NotebookPrototype
D’autres dépôts Lean
Tous les dépôts Lean- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype
- zhangir-azerbayev/ProofNetÉtoiles : 127LeanPrototype
- leanprover/lean4-cliÉtoiles : 125LeanPrototype
- blanchette/logical_verification_2023Étoiles : 122LeanPrototype
- emilyriehl/infinity-cosmosÉtoiles : 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Étoiles : 121LeanPrototype