A computer-checked proof of the Four Colour Theorem 上传者：gzhshrmx 2018-12-11 05:04:40上传 PDF文件 593.26KB 热度 52次 四色定理的计算机证明，网上有coq平台和定理证明的源代码下载。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
