Compfiles: Catalog Of Math Problems Formalized In Lean

AboutIMOUSAMOAll

232 problems have been formalized.

175 problems have complete formalized solutions.

problemsolved?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✅algebrainequality
Imo1964P4✅combinatorics
Imo1965P1✅algebra
Imo1965P2✅algebra
Imo1966P4✅algebra
Imo1966P5❌algebra
Imo1967P3✅number theory
Imo1968P2✅number theory
Imo1968P5✅algebra
Imo1969P1✅number theory
Imo1969P2✅algebra
Imo1970P3✅number theory
Imo1970P4✅number theory
Imo1970P6❌combinatorics
Imo1971P3❌number theory
Imo1971P5❌combinatorics
Imo1972P1✅combinatorics
Imo1972P3✅number theory
Imo1972P4✅algebra
Imo1972P5✅algebra
Imo1973P3✅algebra
Imo1973P5✅algebra
Imo1974P1✅combinatorics
Imo1974P3✅number theory
Imo1974P5✅algebra
Imo1975P1✅algebra
Imo1975P2✅algebra
Imo1976P4❌number theory
Imo1976P6❌algebra
Imo1977P4✅algebra
Imo1977P5✅number theory
Imo1977P6✅algebra
Imo1978P1✅number theory
Imo1978P5✅algebra
Imo1978P6❌combinatorics
Imo1979P1✅number theory
Imo1979P5✅algebra
Imo1981P3✅algebra
Imo1981P6✅algebra
Imo1982P1✅algebra
Imo1982P3✅algebra
Imo1982P4✅number theory
Imo1983P1✅algebra
Imo1983P5❌combinatorics
Imo1983P6✅algebrainequality
Imo1984P1✅algebra
Imo1984P2✅number theory
Imo1984P6✅number theory
Imo1985P2✅combinatorics
Imo1985P4❌number theory
Imo1985P6✅algebra
Imo1986P1✅number theory
Imo1986P5✅algebra
Imo1987P1✅combinatorics
Imo1987P4✅algebra
Imo1987P6✅number theory
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✅algebrainequality
Imo1995P4❌algebra
Imo1996P3✅algebra
Imo1997P3✅algebra
Imo1997P5✅number theory
Imo1998P2✅combinatorics
Imo1998P3❌number theory
Imo1998P4❌number theory
Imo1998P6❌algebra
Imo1999P4❌number theory
Imo1999P6✅algebra
Imo2000P2✅algebrainequality
Imo2001P1❌geometry
Imo2001P2✅algebrainequality
Imo2001P3✅combinatorics
Imo2001P4✅algebra
Imo2001P5✅geometry
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
Imo2006P4✅number theory
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
Imo2015P6✅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✅algebrainequality
Imo2020P3❌combinatorics
Imo2020P5❌algebra
Imo2021P1✅algebra
Imo2021P2❌algebra
Imo2021P6❌algebra
Imo2022P2✅algebra
Imo2022P3❌number theory
Imo2022P5✅number theory
Imo2023P1✅number theory
Imo2023P2❌geometry
Imo2023P3❌number theory
Imo2023P4✅algebra
Imo2023P5❌combinatorics
Imo2024P1✅algebra
Imo2024P2✅number theory
Imo2024P3✅combinatorics
Imo2024P5✅combinatorics
Imo2024P6✅algebra
Imo2025P1✅combinatorics
Imo2025P3✅number theory
Usa1974P2✅algebrainequality
Usa1978P1✅algebrainequality
Usa1979P1✅algebrainequality
Usa1980P5✅algebrainequality
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✅algebrainequality
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
Usa2017P6✅algebrainequality
Usa2018P1✅algebrainequality
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✅algebrainequality
Canada1998P5❌algebra
Hungary1998P6✅algebra
India1998P1✅number theory
IntegersInACircle✅combinatorics
Iran1998P3✅algebra
Iran1998P9✅algebrainequality
KolmogorovStreams✅combinatorics
Poland1998P4✅number theory
Poland2016S1P8✅number theory
Romania1998P12✅algebra
Russia1998P42✅algebra
Singapore2019P11✅algebra
Singapore2019P2✅algebra
Singapore2019P4✅algebra
Singapore2019P7✅algebra
UK2024R1P1✅combinatorics
UK2024R1P2✅algebra
UpperLowerContinuous✅
ZeroesOnesAndTwos✅number theory
Generated by commit bffd03c494aee0d46cab9157f3932d7303072659.