package coq-operads

  1. Overview
  2. No Docs
A Coq library defining operads

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. Z
    Zachary Flores
  2. A
    Angelo Taranto
  3. E
    Eric Bond
  4. Y
    Yakir Forman

Maintainers

  1. Y
    yakir.forman@twosixtech.com

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:Operads

Published: 29 Aug 2023

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None