HoTT-Intro / Agda

Agda formalisation of the Introduction to Homotopy Type Theory
124Updated 3 years ago

Alternatives and similar repositories for Agda:

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