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