Category Archives: Publicity

The HoTT Game

Posted on 1 December 2021 by Joseph Hua

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

HoTT at JMM

Posted on 13 November 2017 by Mike Shulman

At the 2018 U.S. Joint Mathematics Meetings in San Diego, there will be an AMS special session about homotopy type theory. It’s a continuation of the HoTT MRC that took place this summer, organized by some of the participants to … Continue reading →

Posted in News, Publicity | Leave a comment

HoTT MRC

Posted on 4 October 2016 by Mike Shulman

From June 4 — 10, 2017, there will be a workshop on homotopy type theory as one of the AMS’s Mathematical Research Communities (MRCs).

Posted in News, Publicity, Uncategorized | 1 Comment