AlphaPeu commune
hrmacbeth/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
- Propriétaire
- hrmacbeth (compte personnel)
- Étoiles
- Étoiles : 387
- Forks
- Forks : 207
- Langage
- HTML
- Licence
- Aucune
- Création
- 2022
- Sujets
- lean4
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts HTML
Tous les dépôts HTML- madushans/DependenSeeÉtoiles : 387HTMLAlpha
- Tech1k/helloespÉtoiles : 387HTMLAlpha
- TheBigRoomXXL/tinyfeedÉtoiles : 387HTMLAlpha
- MrSaints/MorphextÉtoiles : 387HTMLAlpha
- helpsystems/pcapyÉtoiles : 387HTMLAlpha
- bcaffo/LittleInferenceBookÉtoiles : 387HTMLAlpha