[zh] Coq 中文


布告 本版可发布中文广告,如招生招聘启事、活动及征稿通告等。 教程 本版用于发布中文Coq教程,以供学习者参考。 翻译 本版可讨论术语、句式等翻译相关话题。
Topic Replies Views Activity
1 857 July 28, 2020
0 1031 February 25, 2019
2 253 December 11, 2023
5 1488 November 2, 2022
1 910 January 29, 2022
2 855 July 4, 2021
3 971 May 4, 2021
4 1906 July 28, 2020
8 2114 July 27, 2020
15 4401 August 5, 2019
0 3305 February 26, 2019