`Compfiles/`

8635 declarations, 5 contain sorry, 0 declared as axioms; 520 files

Files

Bulgaria1998P1.lean 10 declarations
Bulgaria1998P11.lean 4 declarations
Bulgaria1998P2.lean 1 declarations
Bulgaria1998P3.lean 2 declarations
Bulgaria1998P6.lean 5 declarations
Bulgaria1998P8.lean 5 declarations
CIIM2022P6.lean 5 declarations
Canada1998P3.lean 1 declarations
Canada1998P5.lean 2 declarations
Egmo2023P1.lean 1 declarations
Hungary1998P6.lean 4 declarations
Imo1959P1.lean 2 declarations
Imo1959P2.lean 17 declarations
Imo1959P3.lean 6 declarations
Imo1960P1.lean 13 declarations
Imo1960P2.lean 3 declarations
Imo1961P1.lean 6 declarations
Imo1961P2.lean 3 declarations
Imo1961P3.lean 2 declarations
Imo1962P1.lean 15 declarations
Imo1962P2.lean 4 declarations
Imo1962P4.lean 9 declarations
Imo1963P1.lean 3 declarations
Imo1963P4.lean 2 declarations
Imo1963P5.lean 1 declarations
Imo1963P6.lean 4 declarations
Imo1964P1.lean 4 declarations
Imo1964P2.lean 2 declarations
Imo1964P4.lean 2 declarations
Imo1965P1.lean 2 declarations
Imo1965P2.lean 6 declarations
Imo1965P4.lean 6 declarations
Imo1966P1.lean 6 declarations
Imo1966P4.lean 1 declarations
Imo1966P5.lean 18 declarations
Imo1967P3.lean 6 declarations
Imo1967P5.lean 4 declarations
Imo1967P6.lean 8 declarations
Imo1968P2.lean 4 declarations
Imo1968P3.lean 8 declarations
Imo1968P5.lean 4 declarations
Imo1968P6.lean 3 declarations
Imo1969P1.lean 11 declarations
Imo1969P2.lean 1 declarations
Imo1969P6.lean 3 declarations
Imo1970P2.lean 8 declarations
Imo1970P3.lean 7 declarations
Imo1970P4.lean 3 declarations
Imo1970P6.lean 25 declarations
Imo1971P1.lean 7 declarations
Imo1971P3.lean 8 declarations
Imo1971P5.lean 9 declarations
Imo1971P6.lean 8 declarations
Imo1972P1.lean 1 declarations
Imo1972P3.lean 1 declarations
Imo1972P4.lean 2 declarations
Imo1972P5.lean 1 declarations
Imo1973P3.lean 3 declarations
Imo1973P5.lean 1 declarations
Imo1973P6.lean 9 declarations
Imo1974P1.lean 3 declarations
Imo1974P3.lean 6 declarations
Imo1974P4.lean 22 declarations
Imo1974P5.lean 8 declarations
Imo1974P6.lean 8 declarations
Imo1975P1.lean 1 declarations
Imo1975P2.lean 1 declarations
Imo1975P4.lean 10 declarations
Imo1975P5.lean 16 declarations
Imo1975P6.lean 11 declarations
Imo1976P2.lean 16 declarations
Imo1976P3.lean 35 declarations
Imo1976P4.lean 26 declarations
Imo1976P5.lean 8 declarations
Imo1976P6.lean 1 declarations
Imo1977P2.lean 8 declarations
Imo1977P3.lean 8 declarations
Imo1977P4.lean 1 declarations
Imo1977P5.lean 5 declarations
Imo1977P6.lean 2 declarations
Imo1978P1.lean 3 declarations
Imo1978P3.lean 15 declarations
Imo1978P5.lean 4 declarations
Imo1978P6.lean 11 declarations
Imo1979P1.lean 7 declarations
Imo1979P2.lean 8 declarations
Imo1979P5.lean 2 declarations
Imo1979P6.lean 26 declarations
Imo1981P2.lean 14 declarations
Imo1981P3.lean 19 declarations
Imo1981P4.lean 12 declarations
Imo1981P6.lean 3 declarations
Imo1982P1.lean 2 declarations
Imo1982P3.lean 5 declarations
Imo1982P4.lean 2 declarations
Imo1983P1.lean 3 declarations
Imo1983P3.lean 3 declarations
Imo1983P5.lean 14 declarations
Imo1983P6.lean 4 declarations
Imo1984P1.lean 2 declarations
Imo1984P2.lean 3 declarations
Imo1984P3.lean 2 declarations
Imo1984P6.lean 2 declarations
Imo1985P2.lean 3 declarations
Imo1985P3.lean 13 declarations
Imo1985P4.lean 14 declarations
Imo1985P6.lean 18 declarations
Imo1986P1.lean 2 declarations
Imo1986P3.lean 12 declarations
Imo1986P5.lean 8 declarations
Imo1986P6.lean 20 declarations
Imo1987P1.lean 10 declarations
Imo1987P3.lean 10 declarations
Imo1987P4.lean 1 declarations
Imo1987P6.lean 9 declarations
Imo1988P2.lean 17 declarations
Imo1988P3.lean 23 declarations
Imo1988P4.lean 66 declarations
Imo1988P6.lean 3 declarations
Imo1989P1.lean 16 declarations
Imo1989P3.lean 4 declarations
Imo1989P5.lean 9 declarations
Imo1989P6.lean 23 declarations
Imo1990P2.lean 11 declarations
Imo1990P3.lean 4 declarations
Imo1990P4.lean 32 declarations
Imo1990P5.lean 47 declarations
Imo1991P2.lean 2 declarations
Imo1991P3.lean 22 declarations
Imo1991P4.lean 19 declarations
Imo1991P5.lean 9 declarations
Imo1991P6.lean 7 declarations
Imo1992P1.lean 2 declarations
Imo1992P2.lean 2 declarations
Imo1992P3.lean 23 declarations
Imo1992P5.lean 14 declarations
Imo1992P6.lean 40 declarations
Imo1993P1.lean 3 declarations
Imo1993P3.lean 34 declarations
Imo1993P5.lean 4 declarations
Imo1993P6.lean 62 declarations
Imo1994P1.lean 2 declarations
Imo1994P3.lean 39 declarations
Imo1994P4.lean 5 declarations
Imo1994P5.lean 5 declarations
Imo1994P6.lean 10 declarations
Imo1995P2.lean 1 declarations
Imo1995P4.lean 5 declarations
Imo1995P6.lean 28 declarations
Imo1996P1.lean 20 declarations
Imo1996P3.lean 2 declarations
Imo1996P4.lean 5 declarations
Imo1996P6.lean 6 declarations
Imo1997P3.lean 6 declarations
Imo1997P4.lean 41 declarations
Imo1997P5.lean 9 declarations
Imo1997P6.lean 24 declarations
Imo1998P2.lean 24 declarations
Imo1998P3.lean 13 declarations
Imo1998P4.lean 2 declarations
Imo1998P6.lean 34 declarations
Imo1999P2.lean 2 declarations
Imo1999P3.lean 27 declarations
Imo1999P4.lean 6 declarations
Imo1999P6.lean 2 declarations
Imo2000P2.lean 4 declarations
Imo2000P3.lean 27 declarations
Imo2000P4.lean 56 declarations
Imo2000P5.lean 8 declarations
Imo2001P1.lean 44 declarations
Imo2001P2.lean 3 declarations
Imo2001P3.lean 4 declarations
Imo2001P4.lean 5 declarations
Imo2001P5.lean 32 declarations
Imo2001P6.lean 1 declarations
Imo2002P1.lean 19 declarations
Imo2002P3.lean 7 declarations
Imo2002P4.lean 17 declarations
Imo2002P5.lean 3 declarations
Imo2003P1.lean 3 declarations
Imo2003P2.lean 3 declarations
Imo2003P5.lean 9 declarations
Imo2003P6.lean 2 declarations
Imo2004P2.lean 2 declarations
Imo2004P3.lean 76 declarations
Imo2004P4.lean 5 declarations
Imo2004P6.lean 16 declarations
Imo2005P2.lean 4 declarations
Imo2005P3.lean 2 declarations
Imo2005P4.lean 4 declarations
Imo2005P6.lean 9 declarations
Imo2006P3.lean 11 declarations
Imo2006P4.lean 2 declarations
Imo2006P5.lean 6 declarations
Imo2007P1.lean 3 declarations
Imo2007P3.lean 14 declarations
Imo2007P5.lean 5 declarations
Imo2007P6.lean 40 declarations
Imo2008P2.lean 4 declarations
Imo2008P3.lean 2 declarations
Imo2008P4.lean 6 declarations
Imo2008P5.lean 11 declarations
Imo2009P1.lean 3 declarations
Imo2009P3.lean 4 declarations
Imo2009P5.lean 8 declarations
Imo2009P6.lean 20 declarations
Imo2010P1.lean 2 declarations
Imo2010P3.lean 9 declarations
Imo2010P5.lean 15 declarations
Imo2010P6.lean 35 declarations
Imo2011P1.lean 15 declarations
Imo2011P3.lean 1 declarations
Imo2011P4.lean 44 declarations
Imo2011P5.lean 1 declarations
Imo2012P2.lean 9 declarations
Imo2012P3.lean 75 declarations
Imo2012P4.lean 7 declarations
Imo2012P5.lean 57 declarations
Imo2012P6.lean 8 declarations
Imo2013P1.lean 2 declarations
Imo2013P2.lean 55 declarations
Imo2013P5.lean 7 declarations
Imo2014P1.lean 3 declarations
Imo2014P2.lean 10 declarations
Imo2014P4.lean 48 declarations
Imo2014P5.lean 20 declarations
Imo2014P6.lean 133 declarations
Imo2015P2.lean 10 declarations
Imo2015P5.lean 2 declarations
Imo2015P6.lean 15 declarations
Imo2016P2.lean 66 declarations
Imo2016P4.lean 15 declarations
Imo2016P5.lean 17 declarations
Imo2017P1.lean 13 declarations
Imo2017P2.lean 22 declarations
Imo2017P3.lean 69 declarations
Imo2017P5.lean 8 declarations
Imo2017P6.lean 61 declarations
Imo2018P2.lean 7 declarations
Imo2018P3.lean 70 declarations
Imo2018P4.lean 34 declarations
Imo2018P5.lean 8 declarations
Imo2019P1.lean 3 declarations
Imo2019P2.lean 63 declarations
Imo2019P3.lean 29 declarations
Imo2019P4.lean 3 declarations
Imo2019P5.lean 31 declarations
Imo2020P2.lean 1 declarations
Imo2020P3.lean 55 declarations
Imo2020P4.lean 30 declarations
Imo2020P5.lean 5 declarations
Imo2020P6.lean 8 declarations
Imo2021P1.lean 4 declarations
Imo2021P2.lean 24 declarations
Imo2021P3.lean 1 declarations
Imo2021P5.lean 16 declarations
Imo2021P6.lean 9 declarations
Imo2022P1.lean 100 declarations
Imo2022P2.lean 6 declarations
Imo2022P3.lean 36 declarations
Imo2022P5.lean 14 declarations
Imo2022P6.lean 138 declarations
Imo2023P1.lean 17 declarations
Imo2023P2.lean 273 declarations
Imo2023P3.lean 43 declarations
Imo2023P4.lean 6 declarations
Imo2023P5.lean 40 declarations
Imo2023P6.lean 1 declarations
Imo2024P1.lean 10 declarations
Imo2024P2.lean 31 declarations
Imo2024P3.lean 99 declarations
Imo2024P5.lean 88 declarations
Imo2024P6.lean 30 declarations
Imo2025P1.lean 100 declarations
Imo2025P2.lean 1 declarations
Imo2025P3.lean 7 declarations
Imo2025P4.lean 67 declarations
Imo2025P5.lean 34 declarations
Imo2025P6.lean 247 declarations
Imo2026P1.lean 22 declarations
Imo2026P3.lean 242 declarations
Imo2026P4.lean 16 declarations
Imo2026P5.lean 18 declarations
Imo2026P6.lean 2 declarations
India1998P1.lean 2 declarations
IntegersInACircle.lean 3 declarations
Iran1998P3.lean 2 declarations
Iran1998P9.lean 2 declarations
KolmogorovStreams.lean 9 declarations
Poland1998P4.lean 10 declarations
Poland2016S1P8.lean 3 declarations
Romania1998P12.lean 10 declarations
Russia1995P10.lean 1 declarations
Russia1998P42.lean 1 declarations
Singapore2019P11.lean 2 declarations
Singapore2019P2.lean 2 declarations
Singapore2019P4.lean 2 declarations
Singapore2019P7.lean 2 declarations
UK2024R1P1.lean 21 declarations
UK2024R1P2.lean 1 declarations
UK2024R1P4.lean 5 declarations
UpperLowerContinuous.lean 15 declarations
Usa1972P1.lean 1 declarations
Usa1972P3.lean 26 declarations
Usa1972P4.lean 10 declarations
Usa1973P2.lean 7 declarations
Usa1973P4.lean 2 declarations
Usa1973P5.lean 6 declarations
Usa1974P1.lean 1 declarations
Usa1974P2.lean 2 declarations
Usa1974P4.lean 10 declarations
Usa1975P1.lean 9 declarations
Usa1975P3.lean 6 declarations
Usa1975P5.lean 22 declarations
Usa1976P1.lean 7 declarations
Usa1976P3.lean 8 declarations
Usa1976P5.lean 3 declarations
Usa1977P1.lean 15 declarations
Usa1977P3.lean 2 declarations
Usa1977P5.lean 4 declarations
Usa1978P1.lean 3 declarations
Usa1978P3.lean 7 declarations
Usa1978P5.lean 4 declarations
Usa1979P1.lean 3 declarations
Usa1979P3.lean 13 declarations
Usa1979P5.lean 5 declarations
Usa1980P1.lean 5 declarations
Usa1980P2.lean 12 declarations
Usa1980P3.lean 16 declarations
Usa1980P5.lean 1 declarations
Usa1981P2.lean 30 declarations
Usa1981P5.lean 1 declarations
Usa1982P1.lean 12 declarations
Usa1982P2.lean 11 declarations
Usa1982P4.lean 5 declarations
Usa1983P1.lean 7 declarations
Usa1983P2.lean 3 declarations
Usa1983P3.lean 2 declarations
Usa1983P5.lean 25 declarations
Usa1984P1.lean 3 declarations
Usa1984P2.lean 5 declarations
Usa1984P4.lean 7 declarations
Usa1984P5.lean 5 declarations
Usa1985P1.lean 5 declarations
Usa1985P2.lean 13 declarations
Usa1985P4.lean 12 declarations
Usa1985P5.lean 7 declarations
Usa1986P1.lean 8 declarations
Usa1986P2.lean 15 declarations
Usa1986P3.lean 7 declarations
Usa1986P5.lean 6 declarations
Usa1987P1.lean 3 declarations
Usa1987P3.lean 4 declarations
Usa1987P5.lean 29 declarations
Usa1988P1.lean 2 declarations
Usa1988P2.lean 2 declarations
Usa1988P3.lean 2 declarations
Usa1988P4.lean 3 declarations
Usa1988P5.lean 24 declarations
Usa1989P1.lean 8 declarations
Usa1989P2.lean 3 declarations
Usa1989P3.lean 5 declarations
Usa1989P5.lean 2 declarations
Usa1990P1.lean 9 declarations
Usa1990P2.lean 3 declarations
Usa1990P3.lean 51 declarations
Usa1990P4.lean 39 declarations
Usa1991P2.lean 7 declarations
Usa1991P3.lean 7 declarations
Usa1991P4.lean 1 declarations
Usa1992P1.lean 26 declarations
Usa1992P2.lean 1 declarations
Usa1992P3.lean 6 declarations
Usa1992P5.lean 7 declarations
Usa1993P1.lean 2 declarations
Usa1993P3.lean 6 declarations
Usa1993P4.lean 10 declarations
Usa1993P5.lean 12 declarations
Usa1994P1.lean 4 declarations
Usa1994P2.lean 20 declarations
Usa1994P4.lean 10 declarations
Usa1994P5.lean 6 declarations
Usa1995P1.lean 25 declarations
Usa1995P2.lean 10 declarations
Usa1995P4.lean 19 declarations
Usa1995P5.lean 5 declarations
Usa1996P1.lean 1 declarations
Usa1996P2.lean 9 declarations
Usa1996P4.lean 19 declarations
Usa1996P6.lean 16 declarations
Usa1997P1.lean 9 declarations
Usa1997P3.lean 17 declarations
Usa1997P5.lean 3 declarations
Usa1997P6.lean 2 declarations
Usa1998P1.lean 5 declarations
Usa1998P3.lean 5 declarations
Usa1998P4.lean 48 declarations
Usa1998P5.lean 1 declarations
Usa1999P1.lean 23 declarations
Usa1999P3.lean 13 declarations
Usa1999P4.lean 2 declarations
Usa1999P5.lean 55 declarations
Usa2000P1.lean 1 declarations
Usa2000P3.lean 52 declarations
Usa2000P4.lean 14 declarations
Usa2000P5.lean 31 declarations
Usa2000P6.lean 4 declarations
Usa2001P1.lean 4 declarations
Usa2001P3.lean 6 declarations
Usa2001P4.lean 2 declarations
Usa2001P5.lean 11 declarations
Usa2002P1.lean 7 declarations
Usa2002P3.lean 8 declarations
Usa2002P4.lean 11 declarations
Usa2002P5.lean 16 declarations
Usa2002P6.lean 41 declarations
Usa2003P1.lean 3 declarations
Usa2003P3.lean 21 declarations
Usa2003P5.lean 2 declarations
Usa2003P6.lean 37 declarations
Usa2004P2.lean 11 declarations
Usa2004P4.lean 61 declarations
Usa2004P5.lean 8 declarations
Usa2005P1.lean 33 declarations
Usa2005P2.lean 2 declarations
Usa2005P4.lean 9 declarations
Usa2005P6.lean 21 declarations
Usa2006P1.lean 5 declarations
Usa2006P2.lean 5 declarations
Usa2006P3.lean 32 declarations
Usa2006P4.lean 7 declarations
Usa2006P5.lean 30 declarations
Usa2007P1.lean 16 declarations
Usa2007P3.lean 4 declarations
Usa2007P4.lean 76 declarations
Usa2007P5.lean 3 declarations
Usa2008P1.lean 11 declarations
Usa2008P3.lean 35 declarations
Usa2008P5.lean 12 declarations
Usa2008P6.lean 20 declarations
Usa2009P2.lean 8 declarations
Usa2009P4.lean 3 declarations
Usa2009P6.lean 15 declarations
Usa2010P2.lean 28 declarations
Usa2010P3.lean 18 declarations
Usa2010P5.lean 3 declarations
Usa2010P6.lean 47 declarations
Usa2011P1.lean 4 declarations
Usa2011P2.lean 11 declarations
Usa2011P4.lean 4 declarations
Usa2011P6.lean 9 declarations
Usa2012P1.lean 10 declarations
Usa2012P2.lean 6 declarations
Usa2012P3.lean 42 declarations
Usa2012P4.lean 11 declarations
Usa2012P6.lean 10 declarations
Usa2013P2.lean 17 declarations
Usa2013P3.lean 87 declarations
Usa2013P4.lean 9 declarations
Usa2013P5.lean 7 declarations
Usa2014P1.lean 7 declarations
Usa2014P2.lean 5 declarations
Usa2014P3.lean 4 declarations
Usa2014P4.lean 55 declarations
Usa2014P6.lean 9 declarations
Usa2015P1.lean 4 declarations
Usa2015P3.lean 40 declarations
Usa2015P4.lean 18 declarations
Usa2015P5.lean 6 declarations
Usa2015P6.lean 5 declarations
Usa2016P1.lean 7 declarations
Usa2016P2.lean 8 declarations
Usa2016P4.lean 15 declarations
Usa2016P6.lean 67 declarations
Usa2017P1.lean 7 declarations
Usa2017P2.lean 56 declarations
Usa2017P4.lean 24 declarations
Usa2017P5.lean 27 declarations
Usa2017P6.lean 6 declarations
Usa2018P1.lean 2 declarations
Usa2018P2.lean 29 declarations
Usa2018P3.lean 19 declarations
Usa2018P4.lean 14 declarations
Usa2018P6.lean 157 declarations
Usa2019P1.lean 7 declarations
Usa2019P3.lean 24 declarations
Usa2019P4.lean 23 declarations
Usa2019P5.lean 9 declarations
Usa2019P6.lean 12 declarations
Usa2020P2.lean 67 declarations
Usa2020P3.lean 15 declarations
Usa2020P4.lean 12 declarations
Usa2020P5.lean 22 declarations
Usa2020P6.lean 17 declarations
Usa2021P2.lean 55 declarations
Usa2021P3.lean 27 declarations
Usa2021P4.lean 22 declarations
Usa2021P5.lean 3 declarations
Usa2022P1.lean 22 declarations
Usa2022P3.lean 7 declarations
Usa2022P4.lean 2 declarations
Usa2022P5.lean 37 declarations
Usa2022P6.lean 54 declarations
Usa2023P2.lean 6 declarations
Usa2023P4.lean 22 declarations
Usa2023P5.lean 24 declarations
Usa2024P1.lean 10 declarations
Usa2024P2.lean 112 declarations
Usa2024P4.lean 20 declarations
Usa2024P6.lean 24 declarations
Usa2025P1.lean 3 declarations
Usa2025P2.lean 9 declarations
Usa2025P4.lean 9 declarations
Usa2025P5.lean 10 declarations
Usa2025P6.lean 77 declarations
Usa2026P1.lean 9 declarations
Usa2026P2.lean 27 declarations
Usa2026P4.lean 26 declarations
Usa2026P6.lean 11 declarations
ZeroesOnesAndTwos.lean 27 declarations