Homotopy Type Theory homotopy groups of spheres > history

< formalization of the homotopy groups of spheres in homotopy type theory