caso 0.2.2

Category Theory Solver for Commutative Diagrams
Documentation