=^.^= CaTT Online Editor =^.^=
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
.