Formal-Proof

四色定理与计算机数学的革命：百年的难题与机器证明的哲学