search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

[Lean & Metamath] fix statement #38

Closed DyeKuu closed 3 years ago

DyeKuu commented 3 years ago

Resolve #36