search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

[Lean] fix name & ring_nf #44

Closed DyeKuu closed 3 years ago