caso (cargo): Category Theory Solver for Commutative Diagrams
Keywords: advancedresearch|proving|category|assistant|theorem