thehottgame/TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

6 best points · 0 comments · 1 Hacker News post · 141 GitHub stars · View on GitHub

Hacker News discussions

• The Homotopy Type Theory (HoTT) Game (6 points, 0 comments, by pizza, 2021-12-26)