search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

amc12_2000_p1 #105

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago 
amc12_2000_p1
The condition i =/= 0, m =/= 0, k =/= 0 should become i =/= m, m =/= k, k =/= i.
DyeKuu commented 2 years ago

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