# Homotopy Type Theory πn(Sn) in Homotopy Type Theory

$\pi_n(S^n)$ in Homotopy Type Theory, Dan Licata and Guillaume Brunerie, Invited Paper, CPP 2013