package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-1.0-8.18.tgz
sha512=01e035bc746e0fa3031761dc1dac1c25c007a807f340ac73b5f97672e00ef2e1bf66ca2bbdbddcf805689155ae56b9ba29341d1273f64379b64561be6d3ee3d7
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:2023-10-23Published: 24 Oct 2023
Dependencies (3)
- ocamlgraph
-
coq
>= "8.18" & < "8.19~" -
ocaml
>= "4.09.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page