Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
The HoTT Game | Homotopy Type Theory
https://homotopytypetheory.org/2021/12/01/the-hott-game/
links
backlinks
Tagged with:
code
publicity
What is the HoTT Game? from thehottgameguide.readthedocs.io The Homotopy Type Theory (HoTT) Game is a project written by mathematicians for mathematicians interested in HoTT and no experience in pr…
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
