package coq-operads
A Coq library defining operads
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
sha256=a26124459fb2d82d2bbf498c41cb54fc5bc7ec4e97e6740b30461fcb281ebb51
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-06-06 logpath:OperadsPublished: 07 Jun 2023
Dependencies (2)
-
coq-hammer
>= "1.3" -
coq
>= "8.15"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page