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.