package coq-operads

  1. Overview
  2. Homepage
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.

Dependencies (2)

  1. coq-hammer >= "1.3"
  2. coq >= "8.15"

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover