maxsnew/virtual-equipments

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory

语言：TeX · GitHub 星标：32 · Fork：0

在 GitHub 上查看原仓库