UniMath / SymmetryBookLinks

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.
417Updated 2 weeks ago

Alternatives and similar repositories for SymmetryBook

Users that are interested in SymmetryBook are comparing it to the libraries listed below

Sorting: