《软件基础》系列书籍介绍可靠软件的数学基础，含中文版

eric2013

英文：https://softwarefoundations.cis.upenn.edu/
中文：https://coq-zh.github.io/SF-zh/

系列书籍主要有6本，可以在线查看内容，也可以下载html离线包，

本系列书籍最主要的新颖之处在于，书中的每一处细节都百分之百地形式化且通过了机器验证。 每卷书中的所有文本，包括练习，都是一份 Coq 证明助理的「证明脚本」

英文版：


中文版翻译了四册：



第1册全部都翻译了，后面几册部分翻译了：