package coq-graph-theory
General graph theory definitions and results in Coq and MathComp
Install
Dune Dependency
Authors
Maintainers
Sources
graph-theory-0.9.7.tar.gz
sha512=26a8da6076ecbe391a4c3dccac33ff0a336fa7096be649908e1aecbf427cef0e3fc6690f53d19419c7a0b9caade1ed83f8958c63d18111e1de1cea884be18fed
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-30Published: 13 Nov 2025
Dependencies (6)
-
coq-hierarchy-builder
>= "1.5.0" - coq-mathcomp-finmap
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
>= "2.1" & < "2.6~" -
coq
>= "8.18" & < "9.2~" -
dune
>= "3.5"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page