教程子版说明

[zh] Coq 中文 教程
1

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

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