The Little Prover

【文件属性】：

文件名称：The Little Prover

文件大小：3.17MB

文件格式：PDF

更新时间：2021-07-16 08:18:10

Scheme

The Little Schemer 系列作者 Daniel P. Friedman 最新力作。 使用 Scheme 实现的定理证明器，进行程序形式验证。