Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Software Foundations (Chinese translation) Alpha release

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Software Foundations (Chinese translation) Alpha release


Chronological Thread 
  • From: Yishuai Li <yishuai AT cis.upenn.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Software Foundations (Chinese translation) Alpha release
  • Date: Fri, 20 Apr 2018 18:36:54 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yishuai AT cis.upenn.edu; spf=Pass smtp.mailfrom=yishuai AT seas.upenn.edu; spf=None smtp.helo=postmaster AT mail-io0-f169.google.com
  • Ironport-phdr: 9a23:0wleqhDGDJ/vctSfiv1kUyQJP3N1i/DPJgcQr6AfoPdwSPv9pcbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJNzA3/mLKhMJukK1VrwmspwBkzIPOfI2ZKOZyc6HbcNgHRWRBRMFRVylZD4y+bosPFOoBPftCoIn8ulAAqxq+DhSrCeLvyz9InX/23bAg3OQgCgzJwA0gH8kUvHTJtNX6KqESUeavwKbW0DrDcupb1DHg44bGdRAhpOuDXbN2ccfJxkkvFh/FjlWNqYP+JT+V1+MNvm6G5ORjTeKik3Arpx11rzS1xcohipPFipwLxl3K7yl13Yc4KNmgREJlfdKpFIFcuiKaOodsXM8uXW9ltDwnxrAEp5K2ejUBxo49yB7FcfOHdpCF4hL9W+aVJjd1nHdld6i+hxa26ESgy+r8WtWt3FZEsyZIk93BumoC1xzU7ciHRf998Vm71TmT0ADT7/lIIUEylaXFN54s2qA8moYXvEjZHSL7mF/6gLGIekgq4OSk9uXqb7H+qp+ZLYB0iwX+Mqo0msy4BOQ1KggPX2mA+eS8yb3s50z5Ta5RjvIoiKbZq4rWJdkDpqGnBQ9V1Jwv5AiiADe7yNgYh2UILEpZeBKbiIjkI03BIPfhDfumn1uslCpryOvdM736ApTNK2DDn637cbZ87U5c0gszwspF65JaELFSaM70D0T2rZnTCgIzGw2y2efuTttnha0EXmfaM66CML7bsBes56p7MuiXZJIcuR72KuNj+ubji3l/lFMAK/r6laALYWy1S6w1a36SZmDh149YQDU6+zEmRemvs2WsFDtaZnK8RaU5v29pE4+vFsHeXo2rhvqM0DrpR8QKNFADMUiFFDLTT6vBQ+0FMX/AKc561CEcWL6nDYItyEP27VKo+/9cNuPRvxYgm9fj2dxyvbOBkBgz8Xl1CJzY3TjTHid7mWQHQzJw16d68xRw

(This email is intentionally written in Chinese)

各位 Coq 爱好者:

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

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



Archive powered by MHonArc 2.6.18.

Top of Page