package coq-graph-theory-planar

  1. Overview
  2. No Docs
Graph theory results on planarity in Coq and MathComp

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. C
    Christian Doczkal
  2. D
    Damien Pous

Maintainers

  1. C
    christian.doczkal@mpi-sp.org

Sources

v0.9.2.tar.gz
sha512=6111a8ffd0f8f927c44afffef775ce4e973ce98aad42ccecf9486cfe39297043243c61ca1f122d44fcec8d1671fb481d646e0eaed5a6cd0308cc21eeecf058f9

Description

Formal definitions and results on graph planarity in Coq using the Mathematical Components library, including Wagner's Theorem. Relies on hypermaps and other notions developed as part of the Coq proof of the Four-Color Theorem.

Tags

category:Computer Science/Graph Theory keyword:graph theory keyword:planarity logpath:GraphTheory.planar date:2023-06-07

Published: 07 Jun 2023

Dependencies (4)

  1. coq-fourcolor
  2. coq-graph-theory = version
  3. coq-mathcomp-ssreflect >= "1.13" & < "1.20~"
  4. coq >= "8.14" & < "8.19~"

Dev Dependencies

None

Used by

None

Conflicts

None