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原始信息汇总
搜集汇总
数据集介绍
以上内容由遇见数据集搜集并总结生成
