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