Minif2f

Formal to Formal Mathematics Benchmark