A specialised computer algebra system for topos theory.
Primary LanguageClojureApache License 2.0Apache-2.0