Homotopy Type Theory
Eilenberg-MacLane Spaces in Homotopy Type Theory (history)

October 12, 2018

October 10, 2018