coq-graph-theory

Graph theory results in Coq and MathComp

opam install coq-graph-theory.0.8
homepage
https://github.com/coq-community/graph-theory
license
CECILL-B
bugs tracker
https://github.com/coq-community/graph-theory/issues
dependencies
"coq" {>= "8.11" & < "8.14~"} "coq-mathcomp-ssreflect" {>= "1.10" & < "1.13~"} "coq-mathcomp-finmap" "coq-hierarchy-builder" {>= "0.10"}
source
https://github.com/coq-community/graph-theory/archive/v0.8.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-graph-theory/coq-graph-theory.0.8