TY  - RPRT
TI  - A Formalization of Operads in Coq
AU  - Zachary Flores
AU  - Angelo Taranto
AU  - Eric Bond
AU  - Yakir Forman
PY  - 2023
UR  - https://arxiv.org/abs/2303.08894
ID  - 2303.08894
ER  -