UniMath / TypeTheoryLinks

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

Alternatives and similar repositories for TypeTheory

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

Sorting: