package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-1.0-8.16.tgz
sha512=6ed4db949867b3a7761f9ed09213613fe32d04b5d13d15ffbad6fb2b1a24dd5ccebade61f6c288e95b578c355ccc6977b485c3630764703d09b6fc6d29a3a446
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:2022-01-21Published: 07 Sep 2022
Dependencies (3)
- ocamlgraph
-
coq
>= "8.16" & < "8.18~" -
ocaml
>= "4.09.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page