• Indexed Information
  • Rank2,999
  • Users9
  • Last Indexed4 days, 9 hours ago
Channel Topic
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org
Topic History (1)
Topic First Indexed
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org 1 year, 7 months ago