The Jordan Curve Theorem in HOL Light. Source code available at http://www.math.pitt.edu/~thales (2005)

by T Hales