Homotopy Type Theory
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory (history)

February 19, 2019