This repository contains minif2f dataset converted to lean 4 version. Both .json and .lean file formats are provided.
Official minif2f dataset (in lean 3): https://github.com/openai/miniF2F
A more curated version by harmonic ai: https://github.com/harmonic-ai/datasets/tree/main