Lancern's Treasure Chest
13:26 · Dec 12, 2021 · Sun
https://homotopytypetheory.org/2021/12/01/the-hott-game/
Homotopy Type Theory
The HoTT Game
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…
Home
Powered by
BroadcastChannel
&
Sepia