Compfiles
: Catalog Of Math Problems Formalized In Lean
About
IMO
USAMO
All
202
problems have been formalized.
117
problems have complete formalized solutions.
problem
solved?
tags
Imo1959P1
✅
number theory
Imo1959P2
✅
algebra
Imo1960P1
✅
number theory
Imo1960P2
✅
algebra
Imo1961P1
❌
algebra
Imo1961P3
✅
algebra
Imo1962P1
✅
number theory
Imo1962P2
✅
algebra
Imo1962P4
✅
algebra
Imo1963P1
✅
algebra
Imo1963P4
❌
algebra
Imo1963P5
✅
algebra
Imo1964P1
✅
number theory
Imo1964P2
✅
algebra
inequality
Imo1964P4
✅
combinatorics
Imo1965P2
✅
algebra
Imo1966P4
❌
algebra
Imo1968P2
✅
number theory
Imo1968P5
✅
algebra
Imo1969P1
✅
number theory
Imo1970P4
❌
number theory
Imo1970P6
❌
combinatorics
Imo1971P3
❌
number theory
Imo1971P5
❌
combinatorics
Imo1972P1
✅
combinatorics
Imo1972P3
✅
number theory
Imo1972P4
❌
algebra
Imo1972P5
✅
algebra
Imo1973P5
❌
algebra
Imo1974P5
✅
algebra
Imo1975P1
✅
algebra
Imo1975P2
❌
algebra
Imo1976P4
❌
number theory
Imo1976P6
❌
algebra
Imo1977P4
❌
algebra
Imo1977P6
✅
algebra
Imo1978P1
❌
number theory
Imo1978P6
❌
combinatorics
Imo1979P1
✅
number theory
Imo1979P5
❌
algebra
Imo1981P3
✅
algebra
Imo1981P6
✅
algebra
Imo1982P1
✅
algebra
Imo1982P4
❌
number theory
Imo1983P1
✅
algebra
Imo1983P5
❌
combinatorics
Imo1983P6
❌
algebra
inequality
Imo1984P1
✅
algebra
Imo1984P2
✅
number theory
Imo1985P4
❌
number theory
Imo1986P1
✅
number theory
Imo1986P5
✅
algebra
Imo1987P1
✅
combinatorics
Imo1987P4
✅
algebra
Imo1988P3
❌
algebra
Imo1988P6
✅
number theory
Imo1989P5
✅
number theory
Imo1990P3
❌
number theory
Imo1991P6
❌
algebra
Imo1992P1
❌
number theory
Imo1992P2
✅
algebra
Imo1993P5
❌
algebra
Imo1994P1
✅
combinatorics
Imo1994P4
❌
number theory
Imo1994P5
❌
algebra
Imo1995P2
✅
algebra
inequality
Imo1995P4
❌
algebra
Imo1996P3
❌
algebra
Imo1997P5
❌
number theory
Imo1998P2
✅
combinatorics
Imo1998P3
❌
number theory
Imo1998P4
❌
number theory
Imo1998P6
❌
algebra
Imo1999P4
❌
number theory
Imo1999P6
✅
algebra
Imo2000P2
✅
algebra
inequality
Imo2001P1
❌
geometry
Imo2001P2
✅
algebra
inequality
Imo2001P3
❌
combinatorics
Imo2001P6
✅
number theory
Imo2002P5
✅
algebra
Imo2003P1
❌
combinatorics
Imo2003P2
❌
number theory
Imo2003P6
✅
number theory
Imo2004P2
❌
algebra
Imo2004P6
❌
number theory
Imo2005P3
✅
algebra
Imo2005P4
✅
number theory
Imo2006P3
✅
algebra
Imo2006P5
✅
number theory
Imo2007P1
❌
algebra
Imo2007P5
✅
number theory
Imo2008P2
✅
algebra
Imo2008P3
✅
number theory
Imo2008P4
✅
algebra
Imo2008P5
❌
combinatorics
Imo2009P5
✅
algebra
Imo2009P6
❌
combinatorics
Imo2010P1
✅
algebra
Imo2010P3
❌
algebra
Imo2011P3
✅
algebra
Imo2011P5
❌
number theory
Imo2012P2
❌
algebra
Imo2012P4
✅
algebra
Imo2013P1
✅
number theory
Imo2013P5
✅
algebra
Imo2014P1
✅
algebra
Imo2014P4
❌
geometry
Imo2015P2
❌
number theory
Imo2015P5
✅
algebra
Imo2016P4
❌
number theory
Imo2016P5
❌
algebra
Imo2017P1
❌
number theory
Imo2017P2
✅
algebra
Imo2017P6
❌
number theory
Imo2018P2
❌
algebra
Imo2018P3
❌
combinatorics
Imo2018P5
❌
number theory
Imo2019P1
✅
algebra
Imo2019P2
✅
geometry
Imo2019P4
✅
number theory
Imo2020P2
✅
algebra
inequality
Imo2020P5
❌
algebra
Imo2021P1
✅
algebra
Imo2021P2
❌
algebra
Imo2021P6
❌
algebra
Imo2022P2
✅
algebra
Imo2022P5
❌
number theory
Imo2023P1
❌
number theory
Imo2023P2
❌
geometry
Imo2023P3
❌
number theory
Imo2023P4
❌
algebra
Imo2023P5
❌
combinatorics
Imo2024P1
✅
algebra
Imo2024P2
✅
number theory
Imo2024P3
❌
combinatorics
Imo2024P6
✅
algebra
Usa1974P2
✅
algebra
inequality
Usa1978P1
✅
algebra
inequality
Usa1979P1
✅
algebra
inequality
Usa1980P5
❌
algebra
inequality
Usa1981P5
✅
algebra
Usa1982P4
✅
number theory
Usa1983P5
❌
number theory
Usa1985P1
✅
algebra
Usa1987P1
✅
algebra
Usa1989P5
✅
algebra
Usa1990P2
✅
algebra
Usa1992P1
❌
algebra
Usa1992P2
✅
algebra
Usa1993P1
✅
algebra
Usa1993P3
❌
algebra
Usa1996P1
✅
algebra
Usa1998P1
❌
number theory
Usa1998P3
✅
algebra
inequality
Usa1998P4
❌
combinatorics
Usa1998P5
✅
number theory
Usa1999P1
❌
combinatorics
Usa2000P1
✅
algebra
Usa2000P5
❌
geometry
Usa2001P1
❌
combinatorics
Usa2001P3
✅
algebra
Usa2001P4
✅
geometry
Usa2002P1
✅
combinatorics
Usa2003P1
✅
number theory
Usa2005P2
✅
number theory
Usa2008P1
❌
number theory
Usa2011P4
✅
number theory
Usa2015P1
✅
number theory
Usa2017P5
❌
combinatorics
Usa2018P1
✅
algebra
inequality
Usa2019P1
✅
algebra
Usa2022P1
❌
combinatorics
Usa2022P3
✅
algebra
Usa2022P4
✅
number theory
Usa2023P2
✅
algebra
Usa2023P4
❌
number theory
Usa2023P5
❌
combinatorics
Usa2024P2
❌
combinatorics
Bulgaria1998P1
❌
combinatorics
Bulgaria1998P11
✅
number theory
Bulgaria1998P2
❌
geometry
Bulgaria1998P3
✅
algebra
Bulgaria1998P6
❌
number theory
Bulgaria1998P8
✅
algebra
CIIM2022P6
❌
number theory
Canada1998P3
✅
algebra
inequality
Canada1998P5
❌
algebra
Hungary1998P6
✅
algebra
India1998P1
✅
number theory
IntegersInACircle
✅
combinatorics
Iran1998P3
✅
algebra
Iran1998P9
✅
algebra
inequality
KolmogorovStreams
✅
combinatorics
Poland1998P4
✅
number theory
Poland2016S1P8
✅
number theory
Romania1998P12
✅
algebra
Russia1998P42
✅
algebra
UK2024R1P1
✅
combinatorics
UK2024R1P2
✅
algebra
UpperLowerContinuous
✅
ZeroesOnesAndTwos
✅
number theory