flores-2023-a:
  type: misc
  title: A Formalization of Operads in Coq
  author:
  - Flores, Zachary
  - Taranto, Angelo
  - Bond, Eric
  - Forman, Yakir
  date: 2023-03
  serial-number:
    arxiv: '2303.08894'