Formalization (and generalization) of some IMO Shortlist problems, starting from year 2006.
Number of formalized problems as of June 11, 2023: 63
Number of formalized problems as of July 31, 2023: 90
Number of formalized problems as of November 6, 2023: 100