3 citations · 3 across the 1 of their papers we have counts for
1 paper
Jean-François Dufourd
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi…