search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

mathd_algebra_17 #111

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago 
mathd_algebra_17
add the assumption 1 + a > 0.
DyeKuu commented 2 years ago

fixed in https://github.com/facebookresearch/miniF2F