The HoTT Game — The HoTT Game 0.1 documentation

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