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

< A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory