我们能用计算机程序来检验数学定理的证明吗？
类别: news_edu
关键词: 数学基础,形式化,数学,集合论,Mathematics,数学家,证明助手,类型论