CATT
=^.^=

Coherences for weak ω-categories.

Examples	More details
Examples can be found here	The theory behind this. The source code. Samuel Mimram's implementation. Eric Finster's implementation.

CATT=^.^=