Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
使用指南:通过电子邮件访问论坛
[zh] Coq 中文
Lys
July 28, 2020, 8:56pm
1
如网页访问受限,可通过电子邮件访问Coq论坛各个版块:
摘译:
检查
用户设置
,启用电子邮件功能;
欲评论某主题,回复通知邮件即可;
可向
coq+zh@discoursemail.com
发送邮件,以在本版创建主题。
鉴于国内访问Coq中文论坛非常慢……
Related Topics
Topic
Replies
Views
Activity
CertiuCOS2
Using Coq
0
215
September 25, 2023
Recommended resource for developing Coq plugin
Developing plugins
3
822
November 5, 2020
Any resources for those studying Software Foundations on their own?
Miscellaneous
software-foundations
5
1161
February 7, 2020
Notes from the CoqPL 2024 Q/A session
Miscellaneous
meeting
9
297
January 29, 2024
Roadmap for Coq's source code and metatheory understanding.
Developing the Coq system
1
134
January 14, 2024