Coq OPAMcoq-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