cat-searcher/minif2f-lean4
收藏Hugging Face2024-03-19 更新2024-06-11 收录
下载链接：
https://hf-mirror.com/datasets/cat-searcher/minif2f-lean4
下载链接
链接失效反馈官方服务：
资源简介：
---
license: mit
size_categories:
- n<1K
---
Fixing the errors in some formal statements and informal proofs of [minif2f-lean4](https://huggingface.co/datasets/hoskinson-center/minif2f-lean4/blob/main/README.md).
提供机构：
cat-searcher
原始信息汇总
数据集概述
许可证
- 类型: MIT License
大小分类
- 规模: 小于1K
