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.5.tar.gz
sha512=20b87467329b3d282a351a7c275cb8963570e375dc8722ecd6eddbcd05e84e254f3bb45612a3b244f61d39ace3361d5b3be399e7af3e4e6c8ca304c130427be6

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-06-30

Published: 30 Jun 2024

Dependencies (6)

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

Dev Dependencies

None

Used by (1)

  1. coq-graph-theory-planar >= "0.9.5"

Conflicts

None