举报Strongart教授的博文：

数学机械化与机器证明有什么差别