Keyword: assisted proofs

• EulerFormula: Hypermaps, Genus Theorem and Euler Formula
  Jean-François Dufourd