HoTT / EPIT-2020Links

EPIT 2020 - Spring School on Homotopy Type Theory
105Updated 3 years ago

Alternatives and similar repositories for EPIT-2020

Users that are interested in EPIT-2020 are comparing it to the libraries listed below

Sorting: