Since 1959, the International Mathematical Olympiad has included a total of 398 problems.
188 problems have been formalized (47.23%).
169 problems have complete formalized solutions (42.46%).