package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.6.tgz
sha256=1bc2715bdc412b9413f1a9348d6598a7a722c3b68c087c0294d1d58cdf2d2c7f
Description
Published: 15 Jan 2020
Dependencies (3)
- ocamlgraph
-
coq
>= "8.10" & < "8.11~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page