miniF2F-lean4
This is the Lean 4 version of the miniF2F dataset, originally present in the repository https://github.com/facebookresearch/miniF2F.
miniF2F-lean4
miniF2F dataset ported into Lean 4
This is the Lean 4 version of the miniF2F dataset, originally present in the repository https://github.com/facebookresearch/miniF2F.