search

openai / lean-gym

Apache License 2.0
150 stars 31 forks source link

bump miniF2F #11

Closed DyeKuu closed 2 years ago

jesse-michael-han commented 2 years ago

LGTM, feel free to merge