中国定理证明开放社区是国内定理证明爱好者、学者、研究人员的交流平台。开放社区会定期组织线上、线下活动，供各社区成员交流在定理证明领域的经验、收获和新成果，社区也会邀请学者向社区成员介绍相关领域的新突破、新理论、新工具、新动向。广大定理证明爱好者可以通过社区的官网获取定理证明的相关资源，其中收录了Coq、Isabelle、Lean等定理证明工具的入门资料，定理证明项目信息与检索，以及相关学术论文的索引。

中国定理证明开放社区由浙江大学赵永望、上海交通大学曹钦翔、中国科学院软件研究所詹博华等学者于2020年12月共同发起成立。我们期待更多爱好者加入中国定理证明开放社区，共同探讨，共同成长！