The Little Prover

【文件属性】：
文件名称：The Little Prover
文件大小：3.17MB
文件格式：PDF
更新时间：2021-07-16 08:18:10
Scheme The Little Schemer 系列作者 Daniel P. Friedman 最新力作。 使用 Scheme 实现的定理证明器，进行程序形式验证。