script-jpg/imo-1969-p2-lemmas
收藏Hugging Face2025-10-16 更新2025-10-25 收录
下载链接：
https://hf-mirror.com/datasets/script-jpg/imo-1969-p2-lemmas
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含IMO 1969问题2的命题的简化形式化描述，这些描述是从BFS-Prover-V2论文中提取的。
This dataset includes simplified formalizations of lemmas for IMO 1969 Problem 2 extracted from the BFS-Prover-V2 paper.
提供机构：
script-jpg
