Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
布告板使用说明
[zh] Coq 中文
布告
Lys
February 25, 2019, 5:36pm
#1
本版可发布中文广告,如招生招聘启事、活动及征稿通告等。
繁简文白不限,通顺即可。
另有
Announcements
版块,可向更广泛的受众发布英文通知。