LO

locusmath/locus

A specialised computer algebra system for topos theory.

applied-category-theory categorical-logic cubes double-categories double-category first-class-functions functional-programming functions higher-dimensional hypercubes presheaf-theory research research-project sierpinski-topos squares topos topos-theory

No README found.

Languages

Clojure97.0%Java3.0%

Apache License 2.0

Created March 28, 2022

Updated December 4, 2024

locusmath/locus | GitHunt