search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

add one step to install instructions #57

Closed cuppajoeman closed 2 years ago

cuppajoeman commented 2 years ago

just added in a change dir command.

spolu commented 2 years ago

👍