/topos-tool

Computational tool for tiny presheaf topoi

Primary LanguageF#

Stargazers