package coq-graph-theory

You can search for identifiers within the package.

in-package search v0.2.0

General graph theory definitions and results in Coq and MathComp

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

Maintainers

C

christian.doczkal@mpi-sp.org

Sources

graph-theory-0.9.6.tar.gz

sha512=61bd37facc9341c45cb8393b6be5885a424208c74c09eb8366fc263bd7f0904bd6b4c5bd419add4fcdc01d244d6a261701ec33469b6e645b54f8a89c95bb5485

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).

Published: 10 May 2025

Dependencies (6)

coq-hierarchy-builder >= "1.5.0"
coq-mathcomp-finmap
coq-mathcomp-algebra
coq-mathcomp-ssreflect >= "2.1" & < "2.5~"
coq >= "8.18" & < "9.1~"
dune >= "3.5"

Dev Dependencies

None

Used by (1)

coq-graph-theory-planar >= "0.9.6"

Conflicts