# Rocq 中文版块说明

**URL:** <https://discourse.rocq-prover.org/t/rocq/146>\
**Category:** \[zh\] Rocq 中文\
**Created:** [February 25, 2019, 5:31pm UTC](https://discourse.rocq-prover.org/t/rocq/146 "2019-02-25T17:31:17Z")\
**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 25, 2019, 5:31pm UTC](https://discourse.rocq-prover.org/t/rocq/146/1 "2019-02-25T17:31:17Z")

</div>

本版以中文讨论 Rocq 相关话题。

繁简文白不限，通顺即可。

活动、招生、招聘、征稿等广告请致[布告板](https://discourse.rocq-prover.org/c/rocq-in-chinese/rocq-in-chinese-announcements)。