##hott
Network:
Libera.Chat
Modes:
Last Seen:
2 hours ago
Topic:
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org
#2,509
Rank
11
Users
Topic History
Viewing 1 topic change
##hott
May 18, 2023
2 years, 9 months ago
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org