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
Roast topics
Find topics
Find it!
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…
