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

graph-theory-0.9.4.tar.gz
sha512=c721077e7aa232179d2f7cc2cb797fd509cab5d2bd55eeae99dbbf405919d38cd889640cf2d0c1870bd16876cb61f8c10f14d5ae88e2b7749d990d04fae0d566

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:2024-01-28

Published: 29 Jan 2024

Dependencies (5)

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

Dev Dependencies

None

Used by

None

Conflicts

None