4 ms·
If you're specifically interested in Univalent Foundations, just read the book. https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/
by alimw 8y ago
If you're specifically interested in Univalent Foundations, just read the book.
https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/