1 search result for "author:"Anne Pacalet""

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:2024-11-13
    Anne Pacalet Yves Bertot Olivier Pons
    1.0+8.20
    LGPL-2.1-only
    Used by 0 other packages
    14 Nov 2024