Four Color Theorem Formalization

Complete Lean 4 formalization of the four color theorem for planar graphs.