Monthly Archives: December 2021
The HoTT Game
What is the HoTT Game? 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 … Continue reading
Posted in Code, Programming, Publicity, Uncategorized
12 Comments
Homotopy Type Theory 