search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

Fix #75 #78

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago

Resolves #75

lean: mathd_numbertheory_405