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

[Lys]

如网页访问受限，可通过电子邮件访问Coq论坛各个版块：

coq/coq

摘译：

1. 检查用户设置，启用电子邮件功能；
2. 欲评论某主题，回复通知邮件即可；
3. 可向 coq+zh@discoursemail.com 发送邮件，以在本版创建主题。