# 《软件基础》汉化组招贤纳士

**URL:** <https://discourse.rocq-prover.org/t/topic/156>\
**Category:** 布告\
**Created:** [February 26, 2019, 3:22am UTC](https://discourse.rocq-prover.org/t/topic/156 "2019-02-26T03:22:45Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Lys](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/lys/32/48_2.png) [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Post date:** [February 26, 2019, 3:22am UTC](https://discourse.rocq-prover.org/t/topic/156/1 "2019-02-26T03:22:45Z")

</div>

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

> **[Coq-zh/SF-zh](https://github.com/Coq-zh/SF-zh)**
>
> 《软件基础》中译版 Software Foundations Chinese Translation - Coq-zh/SF-zh