The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

Maybe it would be good to post an english translation just so that people 
know what’s going on...?

        - B

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