Homotopy Type Theory Higher-Dimensional Types in the Mechanization of Homotopy Theory > history

< Higher-Dimensional Types in the Mechanization of Homotopy Theory