-
person
chevron_right
The HoTT Game
Joseph Hua · Saturday, 8 January, 2022 - 10:45
The Homotopy Type Theory (HoTT) Game is a project written by mathematicians for mathematicians interested in HoTT and no experience in proof verification, with the aim of introducing cubical agda as a tool for trying out mathematics in HoTT.