coq-jordan-curve-theorem

Hypermaps, planarity and discrete Jordan curve theorem. Constructive formalization of the combinatorial hypermaps, characterization of the planarity, genus theorem, Euler formula, ring of faces, discrete Jordan curve theorem

opam install coq-jordan-curve-theorem.8.5.0
homepage
https://github.com/coq-contribs/jordan-curve-theorem
license
bugs tracker
https://github.com/coq-contribs/jordan-curve-theorem/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/jordan-curve-theorem/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-jordan-curve-theorem/coq-jordan-curve-theorem.8.5.0