##hott
Network:
Libera.Chat
Modes:
Last Seen:
3 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
Channel History
Timeline of important events for ##hott
No History Yet
This channel hasn't documented any historical events yet.