QED宣言

QED宣言QED宣言是一项关于建立一个基于计算机的所有数学知识的数据库的建议，该数据库是严格形式化的，所有证明都是自动检查的。(Q.E.D.在拉丁语中是quoderat...