@misc{flores-2023-a,
  author = {Zachary Flores and Angelo Taranto and Eric Bond and Yakir Forman},
  title = {A Formalization of Operads in Coq},
  year = {2023},
  month = {3},
  eprint = {2303.08894},
  archiveprefix = {arXiv}
}