package coq-operads
A Coq library defining operads
Install
Dune Dependency
Authors
Maintainers
Sources
1.1.0.tar.gz
sha256=8c973266b9b517ae4acfa7125a181f03daeb5e043f7e6b931636a187726eabd7
Description
This library formalizes a definition of a symmetric colored operad and demonstrates the operad of sets as an example.
Tags
keyword:operad category:Mathematics/Algebra date:2023-08-28 logpath:OperadsPublished: 29 Aug 2023
Dependencies (2)
-
coq-hammer
>= "1.3" -
coq
>= "8.15"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page