Since 1959, the International Mathematical Olympiad has included a total of 398 problems.
161 problems have been formalized (40.45%).
117 problems have complete formalized solutions (29.39%).