nForum - Discussion Feed (HoTT: HomePage)2024-03-28T18:49:05+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Ali Caglayan comments on "HoTT: HomePage" (72296)https://nforum.ncatlab.org/discussion/9073/?Focus=72296#Comment_722962018-09-30T10:12:56+00:002024-03-28T18:49:05+00:00Ali Caglayanhttps://nforum.ncatlab.org/account/1731/
Added a link to a page with a list of desired articles. Kind of like a todo list
diff, v31, current
Added a link to a page with a list of desired articles. Kind of like a todo list