search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

bump mathlib #33

Closed spolu closed 3 years ago

spolu commented 3 years ago

cc @DyeKuu