The Coq mailing list

[Yishuai Li <yishuai AT cis.upenn.edu>]

(This email is intentionally written in Chinese)

各位 Coq 爱好者：

《软件基础》系列教材自推出以来广受好评。它深入浅出地介绍了可靠软件的数学基础，也是公认的 Coq 入门读本。
为了更好地向中文社区推广 Coq 
证明助理，我们将本书第一卷《逻辑基础》翻译成中文，现已在线发布：https://coq-zh.github.io/SF-zh/
中文翻译尚不完善，目前处于 Alpha 内测阶段。由于译者水平有限，错误纰漏在所难免，恳请大家多多指正。
《程序语言基础》、《函数式算法验证》诸卷的翻译工作正在进行。欢迎感兴趣的同仁加入我们，使社区不断壮大。

祝好！
《软件基础》汉化组