TY  - RPRT
TI  - A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory
AU  - Kuen-Bang Hou
AU  - Eric Finster
AU  - Dan Licata
AU  - Peter LeFanu Lumsdaine
PY  - 2016
UR  - https://arxiv.org/abs/1605.03227
ID  - 1605.03227
ER  -