package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-1.0-9.0.tgz
sha512=ced3ce3860d60a8437ac21ef3540c29ad618ac85fd5c8a9e73a259635b252bef3bfdb43801fec069f9c8f9b57ec4be32a360a783369ccd2cc012814fc9cbbf23
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: 29 May 2025
Dependencies (3)
- ocamlgraph
-
coq
>= "9.0" & < "9.1~" -
ocaml
>= "4.09.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page