##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
Channel News
Latest updates and announcements from ##hott
No News Articles
There are no news articles published yet.