github.com/coq/opam-coq-archive
Hypermaps, Genus Theorem and Euler Formula
opam install coq-euler-formula.8.10.0