A Formalization of Operads in Coq

Open in new window