package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.9.tgz
sha256=0858014eb3fa35be67a626478d1d5cf1f953cf329d39c372d08657dfd1fa0545
Description
Published: 13 Jan 2021
Dependencies (3)
- ocamlgraph
-
coq
>= "8.13" & < "8.14~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page