package coq-graph-theory

  1. Overview
  2. No Docs
General graph theory definitions and results in Coq and MathComp

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. C
    Christian Doczkal
  2. D
    Damien Pous

Maintainers

  1. C
    christian.doczkal@mpi-sp.org

Sources

v0.9.2.tar.gz
sha512=6111a8ffd0f8f927c44afffef775ce4e973ce98aad42ccecf9486cfe39297043243c61ca1f122d44fcec8d1671fb481d646e0eaed5a6cd0308cc21eeecf058f9

Description

Formalized general graph theory definitions and results using Coq and the Mathematical Components library, including various standard results from the literature (e.g., Menger's Theorem and Hall's Marriage Theorem).

Tags

category:Computer Science/Graph Theory keyword:graph theory keyword:minors keyword:treewidth keyword:algebra logpath:GraphTheory.core date:2023-06-07

Published: 07 Jun 2023

Dependencies (6)

  1. coq-hierarchy-builder >= "1.1.0"
  2. coq-mathcomp-finmap
  3. coq-mathcomp-algebra
  4. coq-mathcomp-ssreflect >= "1.13" & < "1.20~"
  5. coq >= "8.14" & < "8.19~"
  6. dune >= "2.5"

Dev Dependencies

None

Used by (1)

  1. coq-graph-theory-planar < "0.9.3"

Conflicts

None