鉴于国内访问Coq中文论坛非常慢……

[Lys]

针对国内网络问题，本论坛已启用电子邮件访问，详情请见置顶主题：

使用指南：通过电子邮件访问论坛

如网页访问受限，可通过电子邮件访问Coq论坛各个版块： 摘译： 检查用户设置，启用电子邮件功能； 欲评论某主题，回复通知邮件即可； 可向 coq+zh@discoursemail.com 发送邮件，以在本版创建主题。