miniF2F-test (Rectified)

Cleaned and corrected version of the popular formal reasoning benchmark, released alongside Kimina-Prover.