四色定理的计算机证明，网上有coq平台和定理证明的源代码下载。