Compfiles: Catalog of Math Problems Formalized in Lean

Compfiles: Catalog Of Math Problems Formalized In Lean

Since 1972, the USA Mathematical Olympiad has included a total of 294 problems.

42 problems have been formalized (14.28%).

29 problems have complete formalized solutions (9.86%).

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
1994	P1	P2	P3	P4	P5
1993	P1	P2	P3	P4	P5
1992	P1	P2	P3	P4	P5
1991	P1	P2	P3	P4	P5
1990	P1	P2	P3	P4	P5
1989	P1	P2	P3	P4	P5
1988	P1	P2	P3	P4	P5
1987	P1	P2	P3	P4	P5
1986	P1	P2	P3	P4	P5
1985	P1	P2	P3	P4	P5
1984	P1	P2	P3	P4	P5
1983	P1	P2	P3	P4	P5
1982	P1	P2	P3	P4	P5
1981	P1	P2	P3	P4	P5
1980	P1	P2	P3	P4	P5
1979	P1	P2	P3	P4	P5
1978	P1	P2	P3	P4	P5
1977	P1	P2	P3	P4	P5
1976	P1	P2	P3	P4	P5
1975	P1	P2	P3	P4	P5
1974	P1	P2	P3	P4	P5
1973	P1	P2	P3	P4	P5
1972	P1	P2	P3	P4	P5