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!