# 使用指南：通过电子邮件访问论坛
**URL:** https://discourse.rocq-prover.org/t/topic/980
**Category:** \[zh\] Rocq 中文
**Created:** [July 28, 2020, 8:56pm UTC](https://discourse.rocq-prover.org/t/topic/980 "2020-07-28T20:56:19Z")
**Posts on this page:** 2
**Page:** 1
### Author:  [@Lys](https://discourse.rocq-prover.org/u/Lys)
#### Post date: [July 28, 2020, 8:56pm UTC](https://discourse.rocq-prover.org/t/topic/980/1 "2020-07-28T20:56:19Z")
如网页访问受限，可通过电子邮件访问Rocq论坛各个版块：
> **[Discourse](https://github.com/coq/coq/wiki/Discourse)**
>
> Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo...
摘译：
1. 检查[用户设置](https://discourse.rocq-prover.org/my/preferences/emails)，启用电子邮件功能；
2. 欲评论某主题，回复通知邮件即可；
3. 可向 [rocq+zh@discoursemail.com](mailto:rocq+zh@discoursemail.com) 发送邮件，以在本版创建主题。
---
### Author:  [@Lys](https://discourse.rocq-prover.org/u/Lys)
#### Post date: [July 28, 2020, 8:58pm UTC](https://discourse.rocq-prover.org/t/topic/980/4 "2020-07-28T20:58:12Z")