Homotopy Type Theory
Higher-Dimensional Types in the Mechanization of Homotopy Theory > history
<
Higher-Dimensional Types in the Mechanization of Homotopy Theory
category:
redirected to nlab