[zh] Coq 中文


翻译 本版可讨论术语、句式等翻译相关话题。 繁简文白不限,通顺即可。 布告 本版可发布中文广告,如招生招聘启事、活动及征稿通告等。
Topic Replies Activity
Coq 中文版块说明 1 February 25, 2019
术语翻译:induction 16 August 5, 2019
《软件基础》汉化组招贤纳士 1 February 26, 2019