# 布告

**URL:** https://discourse.rocq-prover.org/c/rocq-in-chinese/rocq-in-chinese-announcements/16.md

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

---

## [布告板使用说明](https://discourse.rocq-prover.org/t/topic/147)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 0\
**Last updated:** [February 25, 2019, 5:36pm UTC](https://discourse.rocq-prover.org/t/topic/147 "2019-02-25T17:36:06Z")

</div>

本版可发布中文广告，如招生招聘启事、活动及征稿通告等。 繁简文白不限，通顺即可。 另有 Announcements 版块，可向更广泛的受众发布英文通知。

---

## [2022年Coq社区问卷调查](https://discourse.rocq-prover.org/t/2022-coq/1548)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 0\
**Last updated:** [January 29, 2022, 3:58pm UTC](https://discourse.rocq-prover.org/t/2022-coq/1548 "2022-01-29T15:58:55Z")

</div>

Coq社区各位同仁： Coq开发团队邀请您参与2022年Coq社区问卷调查。此项调查将帮助我们更好地了解Coq社区现状，以供今后决策参考。我们欢迎所有人来参与此项调查，不论你是正在使用Coq、刚刚开始入门或是计划学习Coq。请向你正在学习或使用Coq的学生、同事及朋友介绍此项调查，以免其错过此通知。 此项调查将于北京时间2022年3月1日20时截止。鉴于问卷较长，请预留充分的时间以作答。 问卷包含中英两个版本，中文版由李弈帅、欧林…

---

## [《软件基础》汉化组招贤纳士](https://discourse.rocq-prover.org/t/topic/156)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 0\
**Last updated:** [February 26, 2019, 3:22am UTC](https://discourse.rocq-prover.org/t/topic/156 "2019-02-26T03:22:45Z")

</div>

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