issues
search
openai
/
miniF2F
Formal to Formal Mathematics Benchmark
297
stars
42
forks
source link
Fix #81 & Add lean proof
#89
Closed
DyeKuu
closed
2 years ago
DyeKuu
commented
2 years ago
Resolves #81
lean, hol light: adds constraints that
x y n
cannot be 0, cc @javier-m
metamath: looks good
Resolves #81
x y ncannot be 0, cc @javier-m