add proof of induction_12dvd4expnp1p20

openai / miniF2F

Formal to Formal Mathematics Benchmark

309 stars 43 forks source link

Closed cuppajoeman closed 2 years ago

cuppajoeman commented 2 years ago

Thanks to discussion with Kevin Buzzard and Damiano Testa for helping me simplify my proof

spolu commented 2 years ago

👍