Every triangle-free planar graph can be 3-colored

Jit Bose

Grotzsch proved that every triangle-free planar graph can be 3-colored. We present a recent proof of this by Dvorak et al.