GitHub repository: tlringer/miniF2F
Description: Formal to Formal Mathematics Benchmark