package coq-jordan-curve-theorem
Hypermaps, planarity and discrete Jordan curve theorem
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=6508215ce1f12f341e401266cd1fbd7c
Description
Constructive formalization of the combinatorial hypermaps, characterization of the planarity, genus theorem, Euler formula, ring of faces, discrete Jordan curve theorem
On This Page