##hott

Network: Libera.Chat

Modes:

Last Seen: 10 minutes ago

Topic: Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org

#2,371

Rank

12

Users

You must be authenticated in order to use the IRC Driven Live Chat gateway