package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.2.tgz
md5=495ae6444af63129b5ec0001855228d4
Description
Published: 26 Oct 2017
Dependencies (3)
- ocamlgraph
-
coq
>= "8.7" & < "8.8~" -
ocaml
< "4.08.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page