##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

No History Yet

This channel hasn't documented any historical events yet.