package coq-euler-formula
Hypermaps, Genus Theorem and Euler Formula
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=cc0a07d28cdaecb75b1660549d95c0c0
Description
This library formalizes the combinatorial hypermaps and their properties in a constructive way. It gives the proofs of the Genus Theorem and of the Euler Formula for the polyhedra.
On This Page