[zh] Coq 中文


布告 本版可发布中文广告,如招生招聘启事、活动及征稿通告等。 翻译 本版可讨论术语、句式等翻译相关话题。 教程 本版用于发布中文Coq教程,以供学习者参考。
Topic Replies Views Activity
2 55 July 28, 2020
1 283 February 25, 2019
1 59 July 31, 2020
5 139 July 28, 2020
9 166 July 27, 2020
16 1051 August 5, 2019
1 931 February 26, 2019