Homotopy Type Theory
limited principle of omniscience (history)

June 20, 2019

August 30, 2014