package coq-jordan-curve-theorem
Hypermaps, planarity and discrete Jordan curve theorem
Install
Dune Dependency
Authors
Maintainers
Sources
v8.8.0.tar.gz
md5=fcfb44e0209a0aee3a8d37fe27381df2
Description
http://dpt-info.u-strasbg.fr/~jfd/Downloads/JORDAN_Contrib_Coq.tar.gz
Constructive formalization of the combinatorial hypermaps, characterization of the planarity, genus theorem, Euler formula, ring of faces, discrete Jordan curve theorem
On This Page