1 search result for "tag:"logpath:GraphTheory.core""

Showing 1 - 1
  1. coq-graph-theory

    No documentation

    General graph theory definitions and results in Coq and MathComp
    category:Computer Science/Graph Theory keyword:graph theory keyword:minors keyword:treewidth keyword:algebra logpath:GraphTheory.core date:2024-06-30
    Christian Doczkal Damien Pous
    0.9.7
    CECILL-B
    Used by 0 other packages
    13 Nov 2025