tomdjong / hott-uf-agda-lecture-notes Goto Github PK
View Code? Open in Web Editor NEWThis project forked from martinescardo/hott-uf-agda-lecture-notes
Lecture notes on univalent foundations of mathematics with Agda
License: GNU General Public License v3.0