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.5.tar.gz
sha512=20b87467329b3d282a351a7c275cb8963570e375dc8722ecd6eddbcd05e84e254f3bb45612a3b244f61d39ace3361d5b3be399e7af3e4e6c8ca304c130427be6

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-06-30

Published: 30 Jun 2024

Dependencies (5)

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

Dev Dependencies

None

Used by

None

Conflicts

None