# 教程

**URL:** https://discourse.rocq-prover.org/c/rocq-in-chinese/chinese-tutorial/24.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/530)

<div class="topic-metadata">

**Author:** [@Lys](https://discourse.rocq-prover.org/u/Lys)\
**Replies:** 0\
**Last updated:** [December 18, 2019, 7:06am UTC](https://discourse.rocq-prover.org/t/topic/530 "2019-12-18T07:06:02Z")

</div>

本版用于发布中文Rocq教程，以供学习者参考。 欢迎踊跃投稿、分享链接。