package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.8.tgz
sha256=7c40b5c362240f3968ce3f6ff39f0c2b08f8687091ff487c477ff066c738a983
Description
Published: 04 Aug 2020
Dependencies (3)
- ocamlgraph
-
coq
>= "8.12" & < "8.13~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page