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

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


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