只是想方便一下大家，没别的意思
国内访问Coq中文论坛非常慢，不挂VPN根本上不去。
欢迎中国Coq爱好者加入Q群 458280235！
如果你在寻找组织的话，我倒是知道有一个：372347110，不必建新的。
Qq群适合小规模讨论；如果有值得长期深入探讨的问题，放在论坛更合适些。
我会在管理组反映访问速度慢的问题。
重新建一个是因为那个群200人已经满了。
刚刚升级为500人，你可以试着重新加进去。
针对国内网络问题，本论坛已启用电子邮件访问，详情请见置顶主题：
只是想方便一下大家，没别的意思
国内访问Coq中文论坛非常慢，不挂VPN根本上不去。
欢迎中国Coq爱好者加入Q群 458280235！
如果你在寻找组织的话，我倒是知道有一个：372347110，不必建新的。
Qq群适合小规模讨论；如果有值得长期深入探讨的问题，放在论坛更合适些。
我会在管理组反映访问速度慢的问题。
重新建一个是因为那个群200人已经满了。
刚刚升级为500人，你可以试着重新加进去。
针对国内网络问题，本论坛已启用电子邮件访问，详情请见置顶主题：