《交互式定理证明与程序开发 Coq归纳构造演算的艺术》 高清 PDF
定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。
下载地址
用户评论
