##hott
Network:
Libera.Chat
Modes:
Last Seen:
12 minutes ago
Topic:
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org
#2,404
Rank
12
Users
Channel History
Timeline of important events for ##hott
No History Yet
This channel hasn't documented any historical events yet.