coq-graph-theory

Graph theory results in Coq and MathComp

opam install coq-graph-theory.0.7
homepage
https://github.com/coq-community/graph-theory
license
CECILL-B
bugs tracker
https://github.com/coq-community/graph-theory/issues
dependencies
"coq" {>= "8.10" & < "8.13~"} "coq-mathcomp-ssreflect" {>= "1.10" & < "1.12~"} "coq-mathcomp-finmap"
source
https://github.com/coq-community/graph-theory/archive/v0.7.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-graph-theory/coq-graph-theory.0.7