Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC - Coq - Document - PDFSEARCH.IO

First Page	Meta Content
	Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC Add to Reading List Document Date: 2008-02-05 05:34:49 Open Document File Size: 184,64 KB Share Result on Facebook

Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANCAdd to Reading List