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

Showing 1 - 1
  1. coq-graph-theory-planar

    No documentation

    Graph theory results on planarity in Coq and MathComp
    category:Computer Science/Graph Theory keyword:graph theory keyword:planarity logpath:GraphTheory.planar date:2024-06-30
    Christian Doczkal Damien Pous
    0.9.6
    CECILL-B
    Used by 0 other packages
    10 May 2025