Mathematics in Lean (MIL)
收藏arXiv2025-09-30 收录
下载链接：
https://leanprover-community.github.io/mathematics_in_lean/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集收录了常见本科层次习题的教学解决方案，其中包括了许多可读性强但过于冗长且效率不高的证明过程。此外，该数据集还包含了集合论、初等数论、群论、拓扑学、微分学和积分与测度理论等领域的习题解答。这些习题的难度属于本科层次，任务是对证明过程进行优化和重写。
This dataset compiles instructional solutions for common undergraduate-level exercises, including numerous highly readable yet overly verbose and inefficient proof processes. Additionally, the dataset includes exercise solutions from fields such as Set Theory, Elementary Number Theory, Group Theory, Topology, Differential Calculus, and Integral and Measure Theory. All these exercises are at undergraduate-level difficulty, and the core task is to optimize and rewrite their proof procedures.
提供机构：
leanprover-community
