Update imo_2001_p6.thy - Githubissues

facebookresearch / miniF2F

An updated version of miniF2F with lots of fixes and informal statements / solutions.

MIT License

60 stars 19 forks source link

Closed albertqjiang closed 1 year ago