Compfiles: Catalog Of Math Problems Formalized In Lean

AboutIMOUSAMOAll

325 problems have been formalized.

293 problems have complete formalized solutions.

problemsolvedtags
Imo1959P1✅Number Theory
Imo1959P2✅Algebra
Imo1960P1✅Number Theory
Imo1960P2✅Algebra
Imo1961P1✅Algebra
Imo1961P2✅
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
Imo1965P4✅Algebra
Imo1966P1✅Combinatorics
Imo1966P4✅Algebra
Imo1966P5✅Algebra
Imo1967P3✅Number Theory
Imo1967P5✅Algebra
Imo1968P2✅Number Theory
Imo1968P3✅Algebra
Imo1968P5✅Algebra
Imo1968P6✅Algebra
Imo1969P1✅Number Theory
Imo1969P2✅Algebra
Imo1970P3✅Number Theory
Imo1970P4✅Number Theory
Imo1970P6✅Combinatorics
Imo1971P1✅Algebra
Imo1971P3✅Number Theory
Imo1971P5✅Combinatorics
Imo1971P6✅
Imo1972P1✅Combinatorics
Imo1972P3✅Number Theory
Imo1972P4✅Algebra
Imo1972P5✅Algebra
Imo1973P3✅Algebra
Imo1973P5✅Algebra
Imo1973P6✅
Imo1974P1✅Combinatorics
Imo1974P3✅Number Theory
Imo1974P5✅Algebra
Imo1975P1✅Algebra
Imo1975P2✅Algebra
Imo1975P4✅
Imo1975P5✅
Imo1975P6✅Algebra
Imo1976P2✅Algebra
Imo1976P4✅Number Theory
Imo1976P6✅Algebra
Imo1977P2✅
Imo1977P4✅Algebra
Imo1977P5✅Number Theory
Imo1977P6✅Algebra
Imo1978P1✅Number Theory
Imo1978P3✅Algebra
Imo1978P5✅Algebra
Imo1978P6✅Combinatorics
Imo1979P1✅Number Theory
Imo1979P5✅Algebra
Imo1979P6✅Combinatorics
Imo1981P2✅Combinatorics
Imo1981P3✅Algebra
Imo1981P4✅Number Theory
Imo1981P6✅Algebra
Imo1982P1✅Algebra
Imo1982P3✅Algebra
Imo1982P4✅Number Theory
Imo1983P1✅Algebra
Imo1983P3❌Number Theory
Imo1983P5✅Combinatorics
Imo1983P6✅AlgebraInequality
Imo1984P1✅Algebra
Imo1984P2✅Number Theory
Imo1984P6✅Number Theory
Imo1985P2✅Combinatorics
Imo1985P4✅Number Theory
Imo1985P6✅Algebra
Imo1986P1✅Number Theory
Imo1986P3✅
Imo1986P5✅Algebra
Imo1987P1✅Combinatorics
Imo1987P4✅Algebra
Imo1987P6✅Number Theory
Imo1988P2✅Combinatorics
Imo1988P3✅Algebra
Imo1988P4❌Algebra
Imo1988P6✅Number Theory
Imo1989P1✅Combinatorics
Imo1989P3❌Combinatorics
Imo1989P5✅Number Theory
Imo1989P6✅
Imo1990P3✅Number Theory
Imo1990P4✅Number TheoryAlgebra
Imo1991P2✅Number Theory
Imo1991P3❌CombinatoricsNumber Theory
Imo1991P5✅Geometry
Imo1991P6✅Algebra
Imo1992P1✅Number Theory
Imo1992P2✅Algebra
Imo1992P5✅
Imo1992P6✅
Imo1993P1✅
Imo1993P5✅Algebra
Imo1994P1✅Combinatorics
Imo1994P4✅Number Theory
Imo1994P5✅Algebra
Imo1994P6✅Number Theory
Imo1995P2✅AlgebraInequality
Imo1995P4✅Algebra
Imo1995P6❌CombinatoricsNumber Theory
Imo1996P3✅Algebra
Imo1996P4✅Number Theory
Imo1996P6✅Number Theory
Imo1997P3✅Algebra
Imo1997P4✅Combinatorics
Imo1997P5✅Number Theory
Imo1998P2✅Combinatorics
Imo1998P3✅Number Theory
Imo1998P4✅Number Theory
Imo1998P6✅Algebra
Imo1999P2❌AlgebraInequality
Imo1999P3✅Combinatorics
Imo1999P4✅Number Theory
Imo1999P6✅Algebra
Imo2000P2✅AlgebraInequality
Imo2000P5✅AlgebraNumber Theory
Imo2001P1✅Geometry
Imo2001P2✅AlgebraInequality
Imo2001P3✅Combinatorics
Imo2001P4✅Algebra
Imo2001P5✅Geometry
Imo2001P6✅Number Theory
Imo2002P1✅Combinatorics
Imo2002P3✅Algebra
Imo2002P5✅Algebra
Imo2003P1✅Combinatorics
Imo2003P2✅Number Theory
Imo2003P6✅Number Theory
Imo2004P2✅Algebra
Imo2004P4✅AlgebraInequality
Imo2004P6✅Number Theory
Imo2005P2✅Algebra
Imo2005P3✅Algebra
Imo2005P4✅Number Theory
Imo2006P3✅Algebra
Imo2006P4✅Number Theory
Imo2006P5✅Number Theory
Imo2007P1✅Algebra
Imo2007P5✅Number Theory
Imo2007P6✅Geometry
Imo2008P2✅Algebra
Imo2008P3✅Number Theory
Imo2008P4✅Algebra
Imo2008P5✅Combinatorics
Imo2009P1✅Number Theory
Imo2009P3❌Algebra
Imo2009P5✅Algebra
Imo2009P6✅Combinatorics
Imo2010P1✅Algebra
Imo2010P3❌Algebra
Imo2010P5✅Combinatorics
Imo2010P6✅Algebra
Imo2011P1✅Number Theory
Imo2011P3✅Algebra
Imo2011P5✅Number Theory
Imo2012P2✅Algebra
Imo2012P4✅Algebra
Imo2012P5✅Geometry
Imo2012P6✅Algebra
Imo2013P1✅Number Theory
Imo2013P2✅CombinatoricsGeometry
Imo2013P5✅Algebra
Imo2014P1✅Algebra
Imo2014P2✅Combinatorics
Imo2014P4✅Geometry
Imo2015P2✅Number Theory
Imo2015P5✅Algebra
Imo2015P6✅Algebra
Imo2016P2✅Combinatorics
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
Imo2020P4✅
Imo2020P5❌Algebra
Imo2020P6✅Combinatorics
Imo2021P1✅Algebra
Imo2021P2✅Algebra
Imo2021P3❌Geometry
Imo2021P5❌
Imo2021P6✅Algebra
Imo2022P2✅Algebra
Imo2022P3❌Number Theory
Imo2022P5✅Number Theory
Imo2022P6❌Combinatorics
Imo2023P1✅Number Theory
Imo2023P2✅Geometry
Imo2023P3❌Number Theory
Imo2023P4✅Algebra
Imo2023P5❌Combinatorics
Imo2023P6❌Geometry
Imo2024P1✅Algebra
Imo2024P2✅Number Theory
Imo2024P3✅Combinatorics
Imo2024P5✅Combinatorics
Imo2024P6✅Algebra
Imo2025P1✅Combinatorics
Imo2025P2❌Geometry
Imo2025P3✅Number Theory
Imo2025P4❌Algebra
Imo2025P5✅
Imo2025P6✅
Usa1972P1✅Number Theory
Usa1972P3✅CombinatoricsNumber Theory
Usa1973P2✅AlgebraNumber Theory
Usa1973P4✅Algebra
Usa1974P1✅Number Theory
Usa1974P2✅AlgebraInequality
Usa1976P3✅Number Theory
Usa1977P1❌Algebra
Usa1978P1✅AlgebraInequality
Usa1979P1✅AlgebraInequality
Usa1980P5✅AlgebraInequality
Usa1981P5✅Algebra
Usa1982P4✅Number Theory
Usa1983P5✅Number Theory
Usa1984P5❌Algebra
Usa1985P1✅Algebra
Usa1987P1✅Algebra
Usa1988P4❌Geometry
Usa1989P1✅Algebra
Usa1989P5✅Algebra
Usa1990P2✅Algebra
Usa1992P1✅Algebra
Usa1992P2✅Algebra
Usa1993P1✅Algebra
Usa1993P3✅Algebra
Usa1996P1✅Algebra
Usa1996P6✅CombinatoricsNumber Theory
Usa1997P5✅AlgebraInequality
Usa1998P1✅Number Theory
Usa1998P3✅AlgebraInequality
Usa1998P4✅Combinatorics
Usa1998P5✅Number Theory
Usa1999P1✅Combinatorics
Usa2000P1✅Algebra
Usa2000P5✅Geometry
Usa2001P1✅Combinatorics
Usa2001P3✅Algebra
Usa2001P4✅Geometry
Usa2002P1✅Combinatorics
Usa2002P4✅Algebra
Usa2003P1✅Number Theory
Usa2003P5✅AlgebraInequality
Usa2004P5✅AlgebraInequality
Usa2005P2✅Number Theory
Usa2008P1✅Number Theory
Usa2011P1✅AlgebraInequality
Usa2011P4✅Number Theory
Usa2014P1✅Algebra
Usa2014P2✅Algebra
Usa2014P3✅Geometry
Usa2015P1✅Number Theory
Usa2015P5✅Number Theory
Usa2017P1✅Number Theory
Usa2017P5❌Combinatorics
Usa2017P6✅AlgebraInequality
Usa2018P1✅AlgebraInequality
Usa2019P1✅Algebra
Usa2020P3✅Number Theory
Usa2022P1✅Combinatorics
Usa2022P3✅Algebra
Usa2022P4✅Number Theory
Usa2023P2✅Algebra
Usa2023P4✅Number Theory
Usa2023P5❌Combinatorics
Usa2024P2✅Combinatorics
Usa2025P4✅Geometry
Usa2026P1✅Algebra
Usa2026P4❌CombinatoricsNumber Theory
Bulgaria1998P1✅Combinatorics
Bulgaria1998P11✅Number Theory
Bulgaria1998P2❌Geometry
Bulgaria1998P3✅Algebra
Bulgaria1998P6❌Number Theory
Bulgaria1998P8✅Algebra
CIIM2022P6❌Number Theory
Canada1998P3✅AlgebraInequality
Canada1998P5❌Algebra
Egmo2023P1✅Number Theory
Hungary1998P6✅Algebra
India1998P1✅Number Theory
IntegersInACircle✅Combinatorics
Iran1998P3✅Algebra
Iran1998P9✅AlgebraInequality
KolmogorovStreams✅Combinatorics
Poland1998P4✅Number Theory
Poland2016S1P8✅Number Theory
Romania1998P12✅Algebra
Russia1995P10✅Number Theory
Russia1998P42✅Algebra
Singapore2019P11✅Algebra
Singapore2019P2✅Algebra
Singapore2019P4✅Algebra
Singapore2019P7✅Algebra
UK2024R1P1✅Combinatorics
UK2024R1P2✅Algebra
UK2024R1P4✅Number Theory
UpperLowerContinuous✅
ZeroesOnesAndTwos✅Number Theory
Generated by commit edf6fd4460c6606a9698925625a63f0846f4272a