@misc{indiciaefe777a08fd31,
  title = {A Formalization of Operads in Coq},
  author = {Zachary Flores and Angelo Taranto and Eric Bond and Yakir Forman},
  year = {2023},
  url = {https://arxiv.org/abs/2303.08894},
  note = {Source identifier: 2303.08894}
}