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

Rank

Users

Topic History

Viewing 1 topic change

##hott

May 18, 2023 2 years, 11 months ago

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