• Indexed Information
  • Rank2,468
  • Users12
  • Last Indexed8 hours ago
Channel Topic
Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org

Channel Users for ##hott

Channel user setting for ##hott is not currently enabled