search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

[Readme] isabelle update #31

Closed DyeKuu closed 3 years ago

spolu commented 3 years ago

LGTM