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