Mathematics in Lean (MIL)
收藏arXiv2025-09-30 收录
下载链接：
https://leanprover-community.github.io/mathematics_in_lean/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集收录了常见本科层次习题的教学解决方案，其中包括了许多可读性强但过于冗长且效率不高的证明过程。此外，该数据集还包含了集合论、初等数论、群论、拓扑学、微分学和积分与测度理论等领域的习题解答。这些习题的难度属于本科层次，任务是对证明过程进行优化和重写。
提供机构：
leanprover-community
