3 ms·
Abbreviation for Homotopy Type: https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/
by potiuper 7y ago
Abbreviation for Homotopy Type: https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/
loading thread…