Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
鉴于国内访问Coq中文论坛非常慢……
[zh] Coq 中文
Lys
July 28, 2020, 9:01pm
5
针对国内网络问题,本论坛已启用电子邮件访问,详情请见置顶主题:
show post in topic
Related Topics
Topic
Replies
Views
Activity
教程子版说明
教程
0
1575
December 18, 2019
Coq 中文版块说明
[zh] Coq 中文
0
980
February 25, 2019
《软件基础》汉化组招贤纳士
布告
0
3210
February 26, 2019
翻译子版说明
翻译
0
643
March 20, 2019
布告板使用说明
布告
0
769
February 25, 2019