Compfiles: Catalog of Math Problems Formalized in Lean

Compfiles: Catalog Of Math Problems Formalized In Lean

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

169 problems have been formalized (42.46%).

131 problems have complete formalized solutions (32.91%).

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