Homotopy Type Theory
homotopy groups of spheres > history
<
formalization of the homotopy groups of spheres in homotopy type theory
category:
redirected to nlab