adding 153 isabelle theorems in the valid set

openai / miniF2F

Formal to Formal Mathematics Benchmark

309 stars 43 forks source link

Closed albertqjiang closed 2 years ago

spolu commented 2 years ago

This is fantastic 🔥

spolu commented 2 years ago

What should be the updated numbers on the README for Isabelle?

albertqjiang commented 2 years ago

With Wenda's newest PR #88, we should be at 488 (the entire set)!

spolu commented 2 years ago

README updated \o/