The HoTT Game — The HoTT Game 0.1 documentation

url

https://thehottgameguide.readthedocs.io/en/latest/index.html

Game to teach you homotopy type theory. Play sometime and learn!