This is the Lean 4 version of the miniF2F dataset, originally present in the repository https://github.com/facebookresearch/miniF2F.
vasnesterov/miniF2F-lean4
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is the Lean 4 version of the miniF2F dataset, originally present in the repository https://github.com/facebookresearch/miniF2F.