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
Stargazers
- AcculiviaCondeuluratoir
- anqurvanillapy@Shopee
- anton-trunovTON Foundation
- bctnryDublin, Ireland
- cl91Providence, RI
- clayratIMDEA Software
- dkeehl
- DKXXXL
- dmalikov
- duobeiearth
- geoinsightsGeoInsights
- GuanyuLeeIthaca
- haoyun
- HdXu
- Jack-Pumpkinhead
- jonsterling@logsem
- jozefgAarhus
- KraksPurdue University
- logicshan
- marsamPeru
- mattearnshawTallinn University of Technology
- mgrabovskyFakta o klimatu
- minadGermany
- moliktoBeijing, China
- natestemen@unitaryfund
- ndcroos
- OlingCatHakurei Shrine
- ProMachine
- SSD97NV
- tgengPinterest, Inc.
- tkersey@thisisartium
- tx2387
- vikramanUniversitĂ di Bologna
- wolverian@reaktor
- wucucu
- zjgbzThe University of North Carolina at Chapel Hill