package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-1.0-9.1.tgz
sha512=2700a191c7c90f893e9a81aff0878bcfaea72c4b67d8c7707f8da95c1d544b7c09654f87051b361cca4f8c4a92d9e30d6eb52e70d3928d68a680cb923d1fbcac
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:2025-05-28Published: 10 Dec 2025
Dependencies (2)
- ocamlgraph
-
coq
>= "9.1" & < "9.2~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page