facebookresearch / facebookresearch/miniF2F
Migrate to Lean 4
Open
- Dominant language
- Objective-C++
- Stars
- 105
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Description
Hi thanks for the dataset! It seems that the community has migrated mathlib from Lean 3 to 4, thus it would be great if this repo could be updated as well.
Btw it seems that it is already ported: https://huggingface.co/datasets/hoskinson-center/minif2f-lean4
Contributor guide
Assessment
This issue has not been assessed yet.