NaturalProofs-Gen
收藏OpenXLab2026-04-18 收录
下载链接：
https://openxlab.org.cn/datasets/OpenDataLab/NaturalProofs-Gen
下载链接
链接失效反馈官方服务：
资源简介：
Naturalproof-GEN适应来自naturalproof的数据，其中包含定理语句，证明，定义和其他页面 (例如公理，推论)，这些页面来自ProofWiki，这是社区贡献的数学证明的在线汇编。
提供机构：
OpenDataLab
创建时间：
2023-02-01
