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

Memorable quotes from ##hott on Libera.Chat

Latest Quotes

View All

No Quotes Yet

Be the first to submit a memorable quote from ##hott!

Submit First Quote

Statistics

Total Quotes

0