AlphaPeu commune
UniMath/SymmetryBook
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
- Propriétaire
- UniMath (organisation)
- Étoiles
- Étoiles : 453
- Forks
- Forks : 30
- Langage
- HTML
- Licence
- CC-BY-SA-4.0
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de UniMath
Les 5 dépôts de UniMath- UniMath/UniMathÉtoiles : 1 022Rocq ProverBêta
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- UniMath/FoundationsÉtoiles : 247CoqPrototype
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
D’autres dépôts HTML
Tous les dépôts HTML- sous-chefs/phpÉtoiles : 453HTMLAlpha
- LottieFiles/lottie-interactivityÉtoiles : 453HTMLAlpha
- readtedium/udm14Étoiles : 453HTMLAlpha