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.3.tar.gz
sha512=1cc5fef0c862d8a52ebf63dad547a996b57b61d2e13ec06245ba37fee1deaccd9cf9b90ad965c6c93a06d7c197810cdabb78bf2f85f803e1f8133bf93e51dc73

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-08-21

Published: 21 Aug 2023

Dependencies (5)

  1. coq-fourcolor
  2. coq-graph-theory = version
  3. coq-mathcomp-ssreflect >= "2.0" & < "2.3"
  4. coq >= "8.16" & < "8.19"
  5. dune >= "2.8"

Dev Dependencies

None

Used by

None

Conflicts

None