证明助手 50 年

证明助手（proof assistant）已走过 50 年发展历程。Lawrence C. Paulson 撰文回顾了这一领域的演进。