UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
HTMLCC-BY-SA-4.0
Watchers
- aaronghylls
- awodeyCMU
- Bia10
- bidundas
- bond15Two Six Labs
- cl91Providence, RI
- clyceShanghai China
- coquand
- DanGrayson
- dubinskyNewton, MA, USA
- Ed94Metavoke
- eemailme
- EgbertRijkeUniversity of Ljubljana
- elfi
- favoniaUniversity of Minnesota
- finelliBioDec
- forrest-kennedy
- FrankLoud
- GauSyu
- jhcloos
- maoke123UESTC
- marcbezem
- myCrackFuck You Up & Bring You Down LLC
- pierrecagneAppalachian State University
- pthariensflameModesto, CA, USA
- QianliMX
- rokoptPortland, OR, USA
- timcherganov
- tomhoule@grafbase
- UlrikBuchholtz
- utensil
- uuhan
- vikramanUniversitĂ di Bologna
- VitalyAnkhMars
- zhujinxuaneGenerationMarketing Inc