package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.3.tgz
md5=e3ac30c319ce7e69dbf9f07670a89178
Description
Published: 19 Apr 2018
Dependencies (3)
- ocamlgraph
-
coq
>= "8.8" & < "8.9~" -
ocaml
< "4.08"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page