《软件基础》系列教材自发布以来广受好评。它深入浅出地介绍了可靠软件的数学基础，也是公认的 Coq 入门读本。 为进一步向中文社区推广 Coq 证明助理，Coq-zh 汉化组正在翻译此书，现可在线预览。 中文翻译尚不完善，错误纰漏在所难免，恳请广大读者多多指正。 有志製作繁體中文版或參與翻譯工作之同仁，敬請聯繫 @Lys。