caso 0.2.0

Category Theory Solver for Commutative Diagrams
Documentation