package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.4.tgz
md5=93e5ffcfa808fdba9cc421866ee1d416
Description
Published: 22 Feb 2019
Dependencies (3)
- ocamlgraph
-
coq
>= "8.9" & < "8.10~" -
ocaml
< "4.08.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page