search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

Bump mathlib #69

Closed spolu closed 2 years ago