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.
418Updated last month

Alternatives and similar repositories for SymmetryBook

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

Sorting: