package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-1.0-8.15.tgz
sha512=b3f1ec5d37664975732bdc5ed2e087a9a94950466b8e8ae7f6a907f5637f1779f1e360d9c54019e3f13c2212e0d03c34c9428f70d2e1023b02b59a1aa89fa09d
Description
Coq plugin that extracts the dependencies between Coq objects, and produces files with dependency information. Includes tools to visualize dependency graphs and find unused definitions.
Tags
category:Miscellaneous/Coq Extensions keyword:dependency graph keyword:dependency analysis logpath:dpdgraph date:2022-01-21Published: 21 Jan 2022
Dependencies (3)
- ocamlgraph
-
coq
>= "8.15" & < "8.16~" -
ocaml
>= "4.05.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page