[PPT] - Formal Methods and the Chromatic Number of the Plane Marijn J.H. PowerPoint Presentation