π n (S n ) in Homotopy Type Theory.

Daniel R. Licata, Guillaume Brunerie

Browse the full CPP paper archive.