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

graph-theory-0.9.4.tar.gz
sha512=c721077e7aa232179d2f7cc2cb797fd509cab5d2bd55eeae99dbbf405919d38cd889640cf2d0c1870bd16876cb61f8c10f14d5ae88e2b7749d990d04fae0d566

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:2024-01-28

Published: 29 Jan 2024

Dependencies (6)

  1. coq-hierarchy-builder >= "1.4.0"
  2. coq-mathcomp-finmap
  3. coq-mathcomp-algebra
  4. coq-mathcomp-ssreflect >= "2.0" & < "2.3"
  5. coq >= "8.16" & < "8.20"
  6. dune >= "3.5"

Dev Dependencies

None

Used by (1)

  1. coq-graph-theory-planar = "0.9.4"

Conflicts

None