search

openai / lean-gym

Apache License 2.0
150 stars 31 forks source link

Bump miniF2F to v1 #13

Closed spolu closed 2 years ago

spolu commented 2 years ago

No op