Since 1959, the International Mathematical Olympiad has included a total of 392 problems.
151 problems have been formalized (38.52%).
100 problems have complete formalized solutions (25.51%).