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

**URL:** https://discourse.rocq-prover.org/t/coq/976
**Category:** \[zh\] Rocq 中文
**Created:** [July 28, 2020, 2:36am UTC](https://discourse.rocq-prover.org/t/coq/976 "2020-07-28T02:36:20Z")
**Posts on this page:** 1
**Showing post:** 5

<div class="post-metadata">

### Author: ![Lys](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/lys/32/48_2.png) [@Lys](https://discourse.rocq-prover.org/u/Lys)
#### Post date: [July 28, 2020, 9:01pm UTC](https://discourse.rocq-prover.org/t/coq/976/5 "2020-07-28T21:01:09Z")

</div>

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

> [@使用指南：通过电子邮件访问论坛](https://discourse.rocq-prover.org/t/topic/980):
>
> 如网页访问受限，可通过电子邮件访问Coq论坛各个版块： 摘译： 检查[用户设置](https://discourse.rocq-prover.org/my/preferences/emails)，启用电子邮件功能； 欲评论某主题，回复通知邮件即可； 可向 [coq+zh@discoursemail.com](mailto:coq+zh@discoursemail.com) 发送邮件，以在本版创建主题。

---

_[View the full topic](https://discourse.rocq-prover.org/t/coq/976)._