Homotopy Type Theory
On the homotopy groups of spheres in homotopy type theory (history)

October 14, 2018