package coq-commutative-diagrams

You can search for identifiers within the package.

in-package search v0.2.0

A Coq plugin to deal with commutative diagrams

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

L

Luc Chabassier

Maintainers

L

luc@dwarfmaster.net

Sources

md5=3f4ddbb06a522888dde09a62107a7b22

Description

Published: 18 Jul 2022

Dependencies (4)

coq-hott >= "8.15" & < "8.16~"
coq >= "8.15" & < "8.16~"
ocaml >= "4.08"
dune >= "2.9"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts

None

On This Page

Description
Dependencies (4)
Dev Dependencies (1)
Used by
Conflicts