An updated version of miniF2F with lots of fixes and informal statements / solutions. - View it on GitHub