1 search result for "tag:"logpath:dpdgraph""

Showing 1 - 1
  1. coq-dpdgraph

    No documentation

    Compute dependencies between Coq objects (definitions, theorems) and produce graphs
    category:Miscellaneous/Coq Extensions keyword:dependency graph keyword:dependency analysis logpath:dpdgraph date:2025-05-28
    Anne Pacalet Yves Bertot Olivier Pons
    1.0+9.0
    LGPL-2.1-only
    Used by 0 other packages
    29 May 2025