Homotopy Type Theory
equivalence (history)

October 10, 2018