PrototypeCommune
PatrickMassot/verbose-lean4
Natural language tactics to teach mathematics using Lean 4
- Propriétaire
- PatrickMassot (compte personnel)
- Étoiles
- Étoiles : 163
- Forks
- Forks : 25
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2022
- Sujets
- lean4mathematics-education
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de PatrickMassot
Les 3 dépôts de PatrickMassot- PatrickMassot/GlimpseOfLeanÉtoiles : 428LeanAlpha
- PatrickMassot/leanblueprintÉtoiles : 399PythonAlpha
D’autres dépôts Lean
Tous les dépôts Lean- verse-lab/loomÉtoiles : 167LeanPrototype
- Verilean/sparkleÉtoiles : 166LeanPrototype
- ImperialCollegeLondon/M40001_leanÉtoiles : 165LeanPrototype
- nomeata/loogleÉtoiles : 160LeanPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- lfglabs-dev/verityÉtoiles : 152LeanPrototype