• Indexed Information
  • Rank2,272
  • Users13
  • Last Indexed1 week, 4 days ago
Channel Topic
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org
You must be authenticated in order to use the IRC Driven Live Chat gateway