Coq 中文版块说明

[Lys]

本版以中文讨论 Coq 相关话题。

繁简文白不限，通顺即可。

活动、招生、招聘、征稿等广告请致布告板。