3 ms·
Open problems in Homotopy Type Theory: https://ncatlab.org/homotopytypetheory/show/open+problems https://ncatlab.org/homotopytypetheory/show/open+problems
by danharaj 11y ago
Open problems in Homotopy Type Theory: https://ncatlab.org/homotopytypetheory/show/open+problems https://ncatlab.org/homotopytypetheory/show/open+problems