我们关注什么
一个数学证明，怎样被逐步表达与验证？
本专题拟围绕数学定义、命题与证明的形式化展开。我们希望把阅读、讨论和动手实践结合起来，逐步积累可以复用的形式化内容。具体工具、项目范围与前置知识将在专题启动时说明。
- 数学概念与定理的精确表达
- 证明结构的拆解与验证
- 形式化项目的协作与积累
如何一起开展
选择问题
共同确定一段适合开展的数学内容，整理定义、结论及依赖关系。
讨论与实现
通过阅读和小组实践，尝试把数学论证转化为可检查的证明。
整理与共享
汇总代码、笔记和遇到的问题，为后续参与者留下清晰入口。
项目与工作
暂无研究项目
研究目标、参与人员、当前进展与公开成果，将随项目介绍一同发布。
讨论班与会议
暂无已公布活动
主题、时间、地点及参与方式，将随正式预告发布。
资料与成果
本专题拟整理：证明代码、入门笔记、参考材料。
暂无公开资料
材料整理后将注明作者、使用说明及公开链接。
怎样参与
对严谨证明、形式化工具或数学与计算的联系感兴趣，都可以从阅读和讨论开始。实际参与要求以正式项目说明为准。