教程子版说明

[zh] Rocq 中文 教程
1

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

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