Formal-Proof

四色定理與計算機數學的革命：百年難題與機器證明的哲學