nForum - Discussion Feed (HoTT: Higher-Dimensional Types in the Mechanization of Homotopy Theory)2024-03-28T21:49:14+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Ali Caglayan comments on "HoTT: Higher-Dimensional Types in the Mechanization of Homotopy Theory" (76031)https://nforum.ncatlab.org/discussion/9595/?Focus=76031#Comment_760312019-02-14T08:40:01+00:002024-03-28T21:49:14+00:00Ali Caglayanhttps://nforum.ncatlab.org/account/1731/
Page created, but author did not leave any comments.
v1, current
Page created, but author did not leave any comments.