drruisseau / symmetrybook Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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.
License: Creative Commons Attribution Share Alike 4.0 International