Giters

openai / miniF2F

Formal to Formal Mathematics Benchmark

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

amc12_2000_p1

DyeKuu opened this issue · comments

commented 
amc12_2000_p1
The condition i =/= 0, m =/= 0, k =/= 0 should become i =/= m, m =/= k, k =/= i.