commuter (cargo): Provides tooling to test diagrams for commutativity, allowing automated tests on algebraic systems.
Keywords: diagrams|algebra|commutative|proofs|testing