Homotopy Type Theory
The real projective spaces in homotopy type theory (history)

October 14, 2018