coq-graph-basics

a Coq toolkit for graph theory. This library offers inductive definitions of basics in graph theory. The goal is to offer the possibility to write proofs and programs on graphs in the same formalism : the Coq language. It now contains : vertices, arcs, edges, degrees, graphs, directed graphs, paths, acyclic graphs, connected graphs and tree.

opam install coq-graph-basics.8.5.0
homepage
https://github.com/coq-contribs/graph-basics
license
LGPL 2
bugs tracker
https://github.com/coq-contribs/graph-basics/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/graph-basics/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-graph-basics/coq-graph-basics.8.5.0