The HoTT Game — The HoTT Game 0.1 documentation

ID: 18cf5a95-d29f-4eed-a00b-77bf615938e1
ROAM_REFS: https://thehottgameguide.readthedocs.io/en/latest/index.html
REVIEW_SCORE: 0.0
MTIME: [2024-12-25 Wed 15:55]

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

This node is a singleton!