nForum - Discussion Feed (HoTT: Covering Spaces in Homotopy Type Theory)2024-03-29T07:36:50+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Ali Caglayan comments on "HoTT: Covering Spaces in Homotopy Type Theory" (72881)https://nforum.ncatlab.org/discussion/9151/?Focus=72881#Comment_728812018-10-17T14:38:17+00:002024-03-29T07:36:50+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.