/topos-tool

Computational tool for tiny presheaf topoi

Primary LanguageF#

No issues in this repository yet.