UniMath / TypeTheoryLinks

The mathematical study of type theories, in univalent foundations
115Updated 3 months ago

Alternatives and similar repositories for TypeTheory

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

Sorting: