Since 1959, the International Mathematical Olympiad has included a total of 398 problems.
222 problems have been formalized (55.77%).
201 problems have complete formalized solutions (50.50%).