Skip to content

[WIP] Groupoid interpretation#168

Draft
Vtec234 wants to merge 12 commits intomasterfrom
hott0-interp
Draft

[WIP] Groupoid interpretation#168
Vtec234 wants to merge 12 commits intomasterfrom
hott0-interp

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant