讨论:Coq

本条目页属于下列维基专题范畴：

（获评未评级、低重要度）

	数学主题查论编本条目页属于数学专题范畴，该专题旨在改善中文维基百科数学类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
未评	根据专题质量评级标准，本条目页尚未接受评级。
低	根据专题重要度评级标准，本条目已评为低重要度。

（获评中重要度）

	资讯科技主题查论编本条目页属于电脑和信息技术专题范畴，该专题旨在改善中文维基百科资讯科技相关条目类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
未评	根据专题质量评级标准，本条目页尚未接受评级。
中	根据专题重要度评级标准，本条目已评为中重要度。

讨论页是人们讨论如何改善Wikipedia上的内容的地方。您可以使用此页面发起有关如何改进Coq的讨论。