# 教程子版说明

**URL:** <https://discourse.rocq-prover.org/t/topic/530>\
**Category:** 教程\
**Created:** [December 18, 2019, 7:06am UTC](https://discourse.rocq-prover.org/t/topic/530 "2019-12-18T07:06:02Z")\
**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:** [December 18, 2019, 7:06am UTC](https://discourse.rocq-prover.org/t/topic/530/1 "2019-12-18T07:06:02Z")

</div>

本版用于发布中文Rocq教程，以供学习者参考。

欢迎踊跃投稿、分享链接。