History of interactive theorem proving [pdf]

剑桥大学计算机实验室，剑桥大学计算机实验室，全球历史最悠久、最负盛名的计算机科学系之一，自 1937 年起开展计算科学的先驱研究。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论