PrototypeCommune
avigad/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
- Propriétaire
- avigad (compte personnel)
- Étoiles
- Étoiles : 223
- Forks
- Forks : 115
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de avigad
Les 2 dépôts de avigad- avigad/lamrÉtoiles : 120LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/ProofWidgets4Étoiles : 231LeanPrototype
- ShouqiaoW/erdosÉtoiles : 230LeanPrototype
- kbuzzard/xenaÉtoiles : 229LeanPrototype
- cedar-policy/cedar-specÉtoiles : 220LeanPrototype
- openai/ten-proofsÉtoiles : 217LeanPrototype
- cmu-l3/llmleanÉtoiles : 216LeanPrototype