Flores, Z., Taranto, A., Bond, E., & Forman, Y. Operads package [Computer software]. https://github.com/twosixlabs/coq-operads/