Since 1959, the International Mathematical Olympiad has included a total of 398 problems.
183 problems have been formalized (45.97%).
158 problems have complete formalized solutions (39.69%).