Since 1959, the International Mathematical Olympiad has included a total of 392 problems.
137 problems have been formalized (34.94%).
72 problems have complete formalized solutions (18.36%).