hoskinson-center/minif2f-lean4
收藏Hugging Face2023-05-03 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/hoskinson-center/minif2f-lean4
下载链接
链接失效反馈官方服务：
资源简介：
---
license: mit
---
A port of [miniF2F](https://github.com/facebookresearch/miniF2F) to Lean 4.
许可证：MIT 许可证
该项目为 [miniF2F](https://github.com/facebookresearch/miniF2F) 向 Lean 4 的移植版本。
提供机构：
hoskinson-center
原始信息汇总
