n1lr4d1c4l/topos-tool

Computational tool for tiny presheaf topoi

语言：F# · GitHub 星标：3 · Fork：1

话题：category-theory · fsharp · topos-theory

在 GitHub 上查看原仓库