Migrate to Lean 4

[fzyzcjy]

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

[JasonGross]

https://huggingface.co/datasets/hoskinson-center/minif2f-lean4

This is a 404, is there a version that's still available?

[JasonGross]

I guess there is https://github.com/yangky11/miniF2F-lean4