The Coq mailing list

[Joachim Breitner <mail AT joachim-breitner.de>]

Am Samstag, den 21.04.2018, 14:45 +0200 schrieb Laurent Thery:
> 
> On 04/21/2018 11:10 AM, Benjamin Pierce wrote:
> > 各位 Coq 爱好者：
> > 
> > 《软件基础》系列教材自推出以来广受好评。它深入浅出地介绍了可靠软件的数学基础，也是公认的 Coq 入门读本。
> > 为了更好地向中文社区推广 Coq 
> > 证明助理，我们将本书第一卷《逻辑基础》翻译成中文，现已在线发布：https://coq-zh.github.io/SF-zh/
> > 中文翻译尚不完善，目前处于 Alpha 内测阶段。由于译者水平有限，错误纰漏在所难免，恳请大家多多指正。
> > 《程序语言基础》、《函数式算法验证》诸卷的翻译工作正在进行。欢迎感兴趣的同仁加入我们，使社区不断壮大。
> > 
> > 祝好！
> > 《软件基础》汉化组
> 
> gogole translate:
> 
> Dear Coq lovers:
> 
> "Software Foundation" series of textbooks have been widely acclaimed
> since its launch. It introduces the mathematical foundation of reliable
> software in a simple and easy-to-understand way and is also a well-known
> Coq primer.
> In order to better promote the Coq certification assistant to the
> Chinese community, we have translated the first volume of the book
> “Logical Basis” into Chinese, which is now available online:
> https://coq-zh.github.io/SF-zh/
> The Chinese translation is not yet complete and is currently in the
> alpha phase. Due to the limited level of translators, mistakes and
> mistakes are inevitable. I urge you to correct them.
> The translation work of the "Programmatic Language Fundamentals" and
> "Functional Algorithm Verification" volumes is underway. We welcome
> interested colleagues to join us and keep the community growing.


Automatic translations have gone a long way these days, I see hardly
any mistakes nor mistakes in that text…

Joachim

-- 
Joachim Breitner
  
mail AT joachim-breitner.de
  http://www.joachim-breitner.de/

Attachment: signature.asc
Description: This is a digitally signed message part