Compfiles: Catalog Of Math Problems Formalized In Lean

Since 1959, the International Mathematical Olympiad has included a total of 392 problems.

140 problems have been formalized (35.71%).

79 problems have complete formalized solutions (20.15%).

2024P1P2P3P4P5P6
2023P1P2P3P4P5P6
2022P1P2P3P4P5P6
2021P1P2P3P4P5P6
2020P1P2P3P4P5P6
2019P1P2P3P4P5P6
2018P1P2P3P4P5P6
2017P1P2P3P4P5P6
2016P1P2P3P4P5P6
2015P1P2P3P4P5P6
2014P1P2P3P4P5P6
2013P1P2P3P4P5P6
2012P1P2P3P4P5P6
2011P1P2P3P4P5P6
2010P1P2P3P4P5P6
2009P1P2P3P4P5P6
2008P1P2P3P4P5P6
2007P1P2P3P4P5P6
2006P1P2P3P4P5P6
2005P1P2P3P4P5P6
2004P1P2P3P4P5P6
2003P1P2P3P4P5P6
2002P1P2P3P4P5P6
2001P1P2P3P4P5P6
2000P1P2P3P4P5P6
1999P1P2P3P4P5P6
1998P1P2P3P4P5P6
1997P1P2P3P4P5P6
1996P1P2P3P4P5P6
1995P1P2P3P4P5P6
1994P1P2P3P4P5P6
1993P1P2P3P4P5P6
1992P1P2P3P4P5P6
1991P1P2P3P4P5P6
1990P1P2P3P4P5P6
1989P1P2P3P4P5P6
1988P1P2P3P4P5P6
1987P1P2P3P4P5P6
1986P1P2P3P4P5P6
1985P1P2P3P4P5P6
1984P1P2P3P4P5P6
1983P1P2P3P4P5P6
1982P1P2P3P4P5P6
1981P1P2P3P4P5P6
1979P1P2P3P4P5P6
1978P1P2P3P4P5P6
1977P1P2P3P4P5P6
1976P1P2P3P4P5P6
1975P1P2P3P4P5P6
1974P1P2P3P4P5P6
1973P1P2P3P4P5P6
1972P1P2P3P4P5P6
1971P1P2P3P4P5P6
1970P1P2P3P4P5P6
1969P1P2P3P4P5P6
1968P1P2P3P4P5P6
1967P1P2P3P4P5P6
1966P1P2P3P4P5P6
1965P1P2P3P4P5P6
1964P1P2P3P4P5P6
1963P1P2P3P4P5P6
1962P1P2P3P4P5P6P7
1961P1P2P3P4P5P6
1960P1P2P3P4P5P6P7
1959P1P2P3P4P5P6