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.
HTML Updated about 2 months ago 1 commits 451 stars
prism-dev|Mirror: UniMath/SymmetryBook (⭐451)
about 2 months agoAbout
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.
Readme
451 stars
29 forks