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
category:
redirected to nlab