AlphaUncommon
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.
- Owner
- UniMath (organization)
- Stars
- Stars: 453
- Forks
- Forks: 30
- Language
- HTML
- License
- CC-BY-SA-4.0
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by UniMath
All 5 repos by UniMath- UniMath/UniMathStars: 1,022Rocq ProverBeta
- UniMath/agda-unimathStars: 318AgdaAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
Nearby in HTML
All HTML repos- sous-chefs/phpStars: 453HTMLAlpha
- LottieFiles/lottie-interactivityStars: 453HTMLAlpha
- readtedium/udm14Stars: 453HTMLAlpha