package coq-dpdgraph
Compute dependencies between Coq objects (definitions, theorems) and produce graphs
Install
Dune Dependency
Authors
Maintainers
Sources
coq-dpdgraph-0.6.1.zip
md5=0477114ba537b184ad715c23d94ac0ca
Description
Published: 09 Jan 2017
Dependencies (3)
- ocamlgraph
-
coq
>= "8.6" & < "8.7~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page