Giters

openai / miniF2F

Formal to Formal Mathematics Benchmark

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

amc12a_2019_p12

DyeKuu opened this issue · comments

commented 
amc12a_2019_p12
There is a square (^2) missing