coq-dpdgraph

• 0.4
• 0.5
• 0.5.1
• 0.6
• 0.6.1
• 0.6.2
• 0.6.3
• 0.6.4
• 0.6.5
• 0.6.6
• 0.6.7
• 0.6.8
• 0.6.9

Compute dependencies between Coq objects (definitions, theorems) and produce graphs

opam install coq-dpdgraph.0.5.1

homepage

https://github.com/karmaki/coq-dpdgraph

license

LGPL 2.1

bugs tracker

dependencies

"ocaml" "coq" {>= "8.5" & < "8.6~"} "ocamlgraph"

source

https://github.com/ybertot/coq-dpdgraph/archive/coq-dpdgraph-0.5.rc3.zip

package

https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-dpdgraph/coq-dpdgraph.0.5.1