search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

Typo in mathd_algebra_247 #76

Closed albertqjiang closed 2 years ago

albertqjiang commented 2 years ago

https://github.com/openai/miniF2F/blob/18b1400db731999f6501ef777fc3c8b0e2e529f3/lean/src/valid.lean#L2312

It should be t = 0 instead.

DyeKuu commented 2 years ago

Nice catch this one!