IMO 2026

A formalized version of the problems from the 2026 International Mathematical Olympiad, used as a benchmark for theorem-proving systems.