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.3.tar.gz
sha512=1cc5fef0c862d8a52ebf63dad547a996b57b61d2e13ec06245ba37fee1deaccd9cf9b90ad965c6c93a06d7c197810cdabb78bf2f85f803e1f8133bf93e51dc73

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-08-21

Published: 21 Aug 2023

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.19"
  6. dune >= "2.8"

Dev Dependencies

None

Used by (1)

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

Conflicts

None