A specialised computer algebra system for topos theory.
          research          functional-programming          functions          cubes          research-project          squares          topos-theory          categorical-logic          double-category          applied-category-theory          topos          first-class-functions          higher-dimensional          hypercubes          presheaf-theory          double-categories          sierpinski-topos      
    - 
            Updated
            Jun 23, 2024 
- Clojure