HoTT-Agda software on GitHub

Software OPEN SOURCE

Development of homotopy type theory in Agda
Share - Bookmark