coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
dpd2dotdpdusage
About coq-dpdgraph-tools
From Debian's package description
This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.
Coq is a proof assistant for higher-order logic.
This package provides the tools associated to this plugin.
From Debian's description of the coq-dpdgraph-tools package, under that package's license.
Dependencies
Depends on
libstdlib-ocaml-m4xw9ocaml-base-5.3.0
Related apps
Proof GeneralOrganise your proofs!- CoqIDE Proof AssistantGraphical interface for the Coq proof assistant
- coqprime-toolsPrimality certification for Coq (tools)Command line
- debian-coq-toolsvarious tools to manage Coq-related Debian packagesCommand line
- dh-coqdebhelper tool for Coq-related Debian packagesCommand line
- quickchickrandomized testing framework for Coq (tools)Command line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the coq-dpdgraph-tools package, under that package's license.
- Description: Debian's description of the coq-dpdgraph-tools package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.