package coq-dpdgraph

  1. Overview
  2. No Docs
Compute dependencies between Coq objects (definitions, theorems) and produce graphs

Install

Dune Dependency

github.com Edit opam file Versions (21)

Authors

  1. A
    Anne Pacalet
  2. Y
    Yves Bertot
  3. O
    Olivier Pons

Maintainers

  1. P
    palmskog@gmail.com

Sources

coq-dpdgraph-1.0-8.20.tgz
sha512=b762de8835790d4d3a2af2c6367d011fe519f9ff02734ace8ef6191ebbe87c14c545758c9f26f8eeb69a861914e7185970437d94003e6aceda131fa4815cc6eb

Description

Coq plugin that extracts the dependencies between Coq objects, and produces files with dependency information. Includes tools to visualize dependency graphs and find unused definitions.

Tags

category:Miscellaneous/Coq Extensions keyword:dependency graph keyword:dependency analysis logpath:dpdgraph date:2024-11-13

Published: 14 Nov 2024

Dependencies (3)

  1. ocamlgraph
  2. coq >= "8.20" & < "8.21~"
  3. ocaml >= "4.09.0"

Dev Dependencies

None

Used by

None

Conflicts

None