search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

Fix mathd_algebra_185 #77

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago

Resolves #73 lean, hol light: fixed in this PR metamath: looks good

cc @javier-m