A Formalization of Operads in Coq.

Zachary Flores Angelo Taranto Eric Bond Yakir Forman

Published in: CoRR (2023)

Keyphrases

theorem prover
formal methods
formal model
knowledge representation
artificial intelligence
computer science
trade off
probabilistic model
software engineering
open source
distributed systems
formal analysis
operational semantics
formal logic