15-344 Combinatorics on Oct 13,  hours 13-14: The 4CT, chromatic polynomials
Thursday, September 17, 2015
7:59 PM
TA Office hours: Tuesdays 6-7PM at 215 Huron, room 1012, starting today.
First mentioned Mobius 1840.
Conjectured Guthrie 1852.
Mis-proven Kempe 1879.
Bug found Heawood 1890.
Proven Appel-Haken 1976.
Coq proof Gonthier 2005.