PrototypeCommune
madvorak/lean4-tactics
Overview of tactics in Lean 4 for beginners — longer version
- Propriétaire
- madvorak (compte personnel)
- Étoiles
- Étoiles : 123
- Forks
- Forks : 3
- Langage
- Sans langage
- Licence
- Unlicense
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang