Since 1959, the International Mathematical Olympiad has included a total of 386 problems.
111 problems have been formalized (28.75%).
64 problems have complete formalized solutions (16.58%).