Since 1959, the International Mathematical Olympiad has included a total of 392 problems.
140 problems have been formalized (35.71%).
79 problems have complete formalized solutions (20.15%).