├── .github
    └── workflows
    │   └── lean.yml
├── .gitignore
├── .vscode
    └── extensions.json
├── README.md
├── coq
    ├── LICENSE
    ├── README.md
    ├── setup.sh
    └── src
    │   ├── putnam_1962_a2.v
    │   ├── putnam_1962_a4.v
    │   ├── putnam_1962_a5.v
    │   ├── putnam_1962_a6.v
    │   ├── putnam_1962_b2.v
    │   ├── putnam_1962_b5.v
    │   ├── putnam_1962_b6.v
    │   ├── putnam_1963_a2.v
    │   ├── putnam_1963_a4.v
    │   ├── putnam_1963_b1.v
    │   ├── putnam_1963_b2.v
    │   ├── putnam_1963_b3.v
    │   ├── putnam_1963_b5.v
    │   ├── putnam_1963_b6.v
    │   ├── putnam_1964_a1.v
    │   ├── putnam_1964_a2.v
    │   ├── putnam_1964_a4.v
    │   ├── putnam_1964_a5.v
    │   ├── putnam_1964_a6.v
    │   ├── putnam_1964_b1.v
    │   ├── putnam_1964_b2.v
    │   ├── putnam_1964_b3.v
    │   ├── putnam_1964_b5.v
    │   ├── putnam_1964_b6.v
    │   ├── putnam_1965_a2.v
    │   ├── putnam_1965_a3.v
    │   ├── putnam_1965_a4.v
    │   ├── putnam_1965_a5.v
    │   ├── putnam_1965_a6.v
    │   ├── putnam_1965_b2.v
    │   ├── putnam_1965_b3.v
    │   ├── putnam_1965_b4.v
    │   ├── putnam_1965_b5.v
    │   ├── putnam_1965_b6.v
    │   ├── putnam_1966_a1.v
    │   ├── putnam_1966_a3.v
    │   ├── putnam_1966_a4.v
    │   ├── putnam_1966_a5.v
    │   ├── putnam_1966_a6.v
    │   ├── putnam_1966_b2.v
    │   ├── putnam_1966_b3.v
    │   ├── putnam_1966_b4.v
    │   ├── putnam_1966_b6.v
    │   ├── putnam_1967_a1.v
    │   ├── putnam_1967_a2.v
    │   ├── putnam_1967_a3.v
    │   ├── putnam_1967_a4.v
    │   ├── putnam_1967_a6.v
    │   ├── putnam_1967_b2.v
    │   ├── putnam_1967_b3.v
    │   ├── putnam_1967_b4.v
    │   ├── putnam_1967_b5.v
    │   ├── putnam_1967_b6.v
    │   ├── putnam_1968_a1.v
    │   ├── putnam_1968_a2.v
    │   ├── putnam_1968_a3.v
    │   ├── putnam_1968_a4.v
    │   ├── putnam_1968_a5.v
    │   ├── putnam_1968_b2.v
    │   ├── putnam_1968_b4.v
    │   ├── putnam_1969_a4.v
    │   ├── putnam_1969_a5.v
    │   ├── putnam_1969_a6.v
    │   ├── putnam_1969_b3.v
    │   ├── putnam_1969_b5.v
    │   ├── putnam_1970_a1.v
    │   ├── putnam_1970_a2.v
    │   ├── putnam_1970_a4.v
    │   ├── putnam_1970_b1.v
    │   ├── putnam_1970_b2.v
    │   ├── putnam_1970_b3.v
    │   ├── putnam_1970_b4.v
    │   ├── putnam_1970_b5.v
    │   ├── putnam_1971_a1.v
    │   ├── putnam_1971_a2.v
    │   ├── putnam_1971_a3.v
    │   ├── putnam_1971_a4.v
    │   ├── putnam_1971_a6.v
    │   ├── putnam_1971_b1.v
    │   ├── putnam_1971_b2.v
    │   ├── putnam_1971_b6.v
    │   ├── putnam_1972_a1.v
    │   ├── putnam_1972_a2.v
    │   ├── putnam_1972_a3.v
    │   ├── putnam_1972_a5.v
    │   ├── putnam_1972_b1.v
    │   ├── putnam_1972_b2.v
    │   ├── putnam_1972_b3.v
    │   ├── putnam_1972_b5.v
    │   ├── putnam_1972_b6.v
    │   ├── putnam_1973_a3.v
    │   ├── putnam_1973_a4.v
    │   ├── putnam_1973_b1.v
    │   ├── putnam_1973_b2.v
    │   ├── putnam_1973_b3.v
    │   ├── putnam_1973_b4.v
    │   ├── putnam_1974_a1.v
    │   ├── putnam_1974_a3.v
    │   ├── putnam_1974_a4.v
    │   ├── putnam_1974_a6.v
    │   ├── putnam_1974_b3.v
    │   ├── putnam_1974_b5.v
    │   ├── putnam_1974_b6.v
    │   ├── putnam_1975_a1.v
    │   ├── putnam_1975_a2.v
    │   ├── putnam_1975_a3.v
    │   ├── putnam_1975_a5.v
    │   ├── putnam_1975_b5.v
    │   ├── putnam_1975_b6.v
    │   ├── putnam_1976_a3.v
    │   ├── putnam_1976_a6.v
    │   ├── putnam_1976_b5.v
    │   ├── putnam_1976_b6.v
    │   ├── putnam_1977_a1.v
    │   ├── putnam_1977_a2.v
    │   ├── putnam_1977_a3.v
    │   ├── putnam_1977_a4.v
    │   ├── putnam_1977_a5.v
    │   ├── putnam_1977_b1.v
    │   ├── putnam_1977_b5.v
    │   ├── putnam_1978_a1.v
    │   ├── putnam_1978_a3.v
    │   ├── putnam_1978_a5.v
    │   ├── putnam_1978_a6.v
    │   ├── putnam_1978_b2.v
    │   ├── putnam_1978_b3.v
    │   ├── putnam_1978_b4.v
    │   ├── putnam_1978_b5.v
    │   ├── putnam_1978_b6.v
    │   ├── putnam_1979_a1.v
    │   ├── putnam_1979_a2.v
    │   ├── putnam_1979_a3.v
    │   ├── putnam_1979_a5.v
    │   ├── putnam_1979_a6.v
    │   ├── putnam_1979_b2.v
    │   ├── putnam_1979_b6.v
    │   ├── putnam_1980_a2.v
    │   ├── putnam_1980_a3.v
    │   ├── putnam_1980_a4.v
    │   ├── putnam_1980_a5.v
    │   ├── putnam_1980_b1.v
    │   ├── putnam_1980_b3.v
    │   ├── putnam_1980_b6.v
    │   ├── putnam_1981_a1.v
    │   ├── putnam_1981_a3.v
    │   ├── putnam_1981_b1.v
    │   ├── putnam_1981_b2.v
    │   ├── putnam_1981_b3.v
    │   ├── putnam_1981_b5.v
    │   ├── putnam_1982_a2.v
    │   ├── putnam_1982_a3.v
    │   ├── putnam_1982_a5.v
    │   ├── putnam_1982_a6.v
    │   ├── putnam_1982_b5.v
    │   ├── putnam_1983_a1.v
    │   ├── putnam_1983_a3.v
    │   ├── putnam_1983_a4.v
    │   ├── putnam_1983_a5.v
    │   ├── putnam_1983_a6.v
    │   ├── putnam_1983_b4.v
    │   ├── putnam_1983_b5.v
    │   ├── putnam_1984_a2.v
    │   ├── putnam_1984_a5.v
    │   ├── putnam_1984_b1.v
    │   ├── putnam_1984_b2.v
    │   ├── putnam_1984_b5.v
    │   ├── putnam_1985_a1.v
    │   ├── putnam_1985_a3.v
    │   ├── putnam_1985_a4.v
    │   ├── putnam_1985_a5.v
    │   ├── putnam_1985_a6.v
    │   ├── putnam_1985_b2.v
    │   ├── putnam_1985_b3.v
    │   ├── putnam_1985_b5.v
    │   ├── putnam_1986_a1.v
    │   ├── putnam_1986_a2.v
    │   ├── putnam_1986_a3.v
    │   ├── putnam_1986_a6.v
    │   ├── putnam_1986_b2.v
    │   ├── putnam_1986_b4.v
    │   ├── putnam_1987_a3.v
    │   ├── putnam_1987_b1.v
    │   ├── putnam_1987_b2.v
    │   ├── putnam_1987_b4.v
    │   ├── putnam_1988_a2.v
    │   ├── putnam_1988_a3.v
    │   ├── putnam_1988_a4.v
    │   ├── putnam_1988_a5.v
    │   ├── putnam_1988_b1.v
    │   ├── putnam_1988_b2.v
    │   ├── putnam_1988_b3.v
    │   ├── putnam_1988_b4.v
    │   ├── putnam_1988_b6.v
    │   ├── putnam_1989_a2.v
    │   ├── putnam_1989_a3.v
    │   ├── putnam_1990_a1.v
    │   ├── putnam_1990_a2.v
    │   ├── putnam_1990_a5.v
    │   ├── putnam_1990_b1.v
    │   ├── putnam_1990_b2.v
    │   ├── putnam_1990_b3.v
    │   ├── putnam_1990_b5.v
    │   ├── putnam_1991_a3.v
    │   ├── putnam_1991_a5.v
    │   ├── putnam_1991_b1.v
    │   ├── putnam_1991_b2.v
    │   ├── putnam_1991_b4.v
    │   ├── putnam_1991_b5.v
    │   ├── putnam_1991_b6.v
    │   ├── putnam_1992_a1.v
    │   ├── putnam_1992_a2.v
    │   ├── putnam_1992_a3.v
    │   ├── putnam_1992_a4.v
    │   ├── putnam_1992_a5.v
    │   ├── putnam_1992_b1.v
    │   ├── putnam_1993_a2.v
    │   ├── putnam_1993_a4.v
    │   ├── putnam_1993_a5.v
    │   ├── putnam_1993_b1.v
    │   ├── putnam_1993_b4.v
    │   ├── putnam_1993_b5.v
    │   ├── putnam_1994_a1.v
    │   ├── putnam_1994_b1.v
    │   ├── putnam_1994_b2.v
    │   ├── putnam_1994_b3.v
    │   ├── putnam_1994_b4.v
    │   ├── putnam_1994_b5.v
    │   ├── putnam_1994_b6.v
    │   ├── putnam_1995_a1.v
    │   ├── putnam_1995_a2.v
    │   ├── putnam_1995_a4.v
    │   ├── putnam_1995_a5.v
    │   ├── putnam_1995_b4.v
    │   ├── putnam_1995_b6.v
    │   ├── putnam_1996_a1.v
    │   ├── putnam_1996_a3.v
    │   ├── putnam_1996_a4.v
    │   ├── putnam_1996_a5.v
    │   ├── putnam_1996_a6.v
    │   ├── putnam_1996_b2.v
    │   ├── putnam_1996_b3.v
    │   ├── putnam_1996_b4.v
    │   ├── putnam_1997_a3.v
    │   ├── putnam_1997_a4.v
    │   ├── putnam_1997_a5.v
    │   ├── putnam_1997_a6.v
    │   ├── putnam_1997_b1.v
    │   ├── putnam_1997_b2.v
    │   ├── putnam_1997_b3.v
    │   ├── putnam_1997_b5.v
    │   ├── putnam_1998_a3.v
    │   ├── putnam_1998_a4.v
    │   ├── putnam_1998_b1.v
    │   ├── putnam_1998_b4.v
    │   ├── putnam_1998_b5.v
    │   ├── putnam_1998_b6.v
    │   ├── putnam_1999_a2.v
    │   ├── putnam_1999_a3.v
    │   ├── putnam_1999_a4.v
    │   ├── putnam_1999_a5.v
    │   ├── putnam_1999_a6.v
    │   ├── putnam_1999_b2.v
    │   ├── putnam_1999_b4.v
    │   ├── putnam_1999_b6.v
    │   ├── putnam_2000_a1.v
    │   ├── putnam_2000_a2.v
    │   ├── putnam_2000_a4.v
    │   ├── putnam_2000_a6.v
    │   ├── putnam_2000_b1.v
    │   ├── putnam_2000_b2.v
    │   ├── putnam_2000_b4.v
    │   ├── putnam_2000_b5.v
    │   ├── putnam_2001_a1.v
    │   ├── putnam_2001_a3.v
    │   ├── putnam_2001_a5.v
    │   ├── putnam_2001_b2.v
    │   ├── putnam_2001_b3.v
    │   ├── putnam_2001_b4.v
    │   ├── putnam_2001_b5.v
    │   ├── putnam_2001_b6.v
    │   ├── putnam_2002_a1.v
    │   ├── putnam_2002_b3.v
    │   ├── putnam_2003_a1.v
    │   ├── putnam_2003_a2.v
    │   ├── putnam_2003_a3.v
    │   ├── putnam_2003_a4.v
    │   ├── putnam_2003_b1.v
    │   ├── putnam_2003_b3.v
    │   ├── putnam_2003_b4.v
    │   ├── putnam_2003_b6.v
    │   ├── putnam_2004_a3.v
    │   ├── putnam_2004_a4.v
    │   ├── putnam_2004_a6.v
    │   ├── putnam_2004_b1.v
    │   ├── putnam_2004_b2.v
    │   ├── putnam_2004_b5.v
    │   ├── putnam_2005_a1.v
    │   ├── putnam_2005_a3.v
    │   ├── putnam_2005_a5.v
    │   ├── putnam_2005_b1.v
    │   ├── putnam_2005_b2.v
    │   ├── putnam_2005_b3.v
    │   ├── putnam_2005_b4.v
    │   ├── putnam_2006_a5.v
    │   ├── putnam_2006_b2.v
    │   ├── putnam_2006_b5.v
    │   ├── putnam_2006_b6.v
    │   ├── putnam_2007_a4.v
    │   ├── putnam_2007_b1.v
    │   ├── putnam_2007_b2.v
    │   ├── putnam_2007_b3.v
    │   ├── putnam_2008_a1.v
    │   ├── putnam_2008_a4.v
    │   ├── putnam_2008_b2.v
    │   ├── putnam_2008_b4.v
    │   ├── putnam_2008_b5.v
    │   ├── putnam_2008_b6.v
    │   ├── putnam_2009_a1.v
    │   ├── putnam_2009_a2.v
    │   ├── putnam_2009_a4.v
    │   ├── putnam_2009_b1.v
    │   ├── putnam_2009_b5.v
    │   ├── putnam_2009_b6.v
    │   ├── putnam_2010_a2.v
    │   ├── putnam_2010_a4.v
    │   ├── putnam_2010_a6.v
    │   ├── putnam_2010_b1.v
    │   ├── putnam_2010_b2.v
    │   ├── putnam_2010_b4.v
    │   ├── putnam_2010_b5.v
    │   ├── putnam_2011_a2.v
    │   ├── putnam_2011_a3.v
    │   ├── putnam_2011_b1.v
    │   ├── putnam_2011_b3.v
    │   ├── putnam_2011_b5.v
    │   ├── putnam_2011_b6.v
    │   ├── putnam_2012_a2.v
    │   ├── putnam_2012_a3.v
    │   ├── putnam_2012_a6.v
    │   ├── putnam_2012_b1.v
    │   ├── putnam_2012_b4.v
    │   ├── putnam_2013_a3.v
    │   ├── putnam_2013_a6.v
    │   ├── putnam_2013_b1.v
    │   ├── putnam_2013_b2.v
    │   ├── putnam_2013_b4.v
    │   ├── putnam_2013_b5.v
    │   ├── putnam_2014_a1.v
    │   ├── putnam_2014_a3.v
    │   ├── putnam_2014_a4.v
    │   ├── putnam_2014_a5.v
    │   ├── putnam_2014_b2.v
    │   ├── putnam_2014_b4.v
    │   ├── putnam_2015_a2.v
    │   ├── putnam_2015_a3.v
    │   ├── putnam_2015_a4.v
    │   ├── putnam_2015_a5.v
    │   ├── putnam_2015_b1.v
    │   ├── putnam_2015_b4.v
    │   ├── putnam_2015_b5.v
    │   ├── putnam_2016_a2.v
    │   ├── putnam_2016_a3.v
    │   ├── putnam_2016_a6.v
    │   ├── putnam_2016_b1.v
    │   ├── putnam_2016_b2.v
    │   ├── putnam_2016_b5.v
    │   ├── putnam_2016_b6.v
    │   ├── putnam_2017_a1.v
    │   ├── putnam_2017_a2.v
    │   ├── putnam_2017_a3.v
    │   ├── putnam_2017_a4.v
    │   ├── putnam_2017_b2.v
    │   ├── putnam_2017_b3.v
    │   ├── putnam_2017_b4.v
    │   ├── putnam_2017_b6.v
    │   ├── putnam_2018_a1.v
    │   ├── putnam_2018_a3.v
    │   ├── putnam_2018_a5.v
    │   ├── putnam_2018_b1.v
    │   ├── putnam_2018_b2.v
    │   ├── putnam_2018_b3.v
    │   ├── putnam_2018_b4.v
    │   ├── putnam_2018_b6.v
    │   ├── putnam_2019_a1.v
    │   ├── putnam_2019_a6.v
    │   ├── putnam_2019_b2.v
    │   ├── putnam_2019_b5.v
    │   ├── putnam_2020_a1.v
    │   ├── putnam_2020_a2.v
    │   ├── putnam_2020_a3.v
    │   ├── putnam_2020_a6.v
    │   ├── putnam_2020_b1.v
    │   ├── putnam_2020_b5.v
    │   ├── putnam_2020_b6.v
    │   ├── putnam_2021_a2.v
    │   ├── putnam_2021_a4.v
    │   ├── putnam_2021_a5.v
    │   ├── putnam_2021_a6.v
    │   ├── putnam_2021_b2.v
    │   ├── putnam_2021_b4.v
    │   ├── putnam_2022_a1.v
    │   ├── putnam_2022_a2.v
    │   ├── putnam_2022_a6.v
    │   ├── putnam_2022_b1.v
    │   ├── putnam_2022_b2.v
    │   ├── putnam_2022_b4.v
    │   ├── putnam_2022_b6.v
    │   ├── putnam_2023_a1.v
    │   ├── putnam_2023_a2.v
    │   ├── putnam_2023_a3.v
    │   ├── putnam_2023_b2.v
    │   └── putnam_2023_b5.v
├── docs
    ├── .gitignore
    ├── README.md
    ├── index.html
    ├── leaderboard.html
    ├── results.json
    └── static
    │   ├── css
    │       ├── bulma-carousel.min.css
    │       ├── bulma-slider.min.css
    │       ├── bulma.css.map.txt
    │       ├── bulma.min.css
    │       ├── fontawesome.all.min.css
    │       └── index.css
    │   ├── images
    │       └── icon.svg
    │   └── js
    │       ├── bulma-carousel.js
    │       ├── bulma-carousel.min.js
    │       ├── bulma-slider.js
    │       ├── bulma-slider.min.js
    │       ├── fontawesome.all.min.js
    │       └── index.js
├── informal
    ├── README.md
    └── putnam.json
├── isabelle
    ├── LICENSE
    ├── README.md
    ├── putnam_1962_a1.thy
    ├── putnam_1962_a2.thy
    ├── putnam_1962_a3.thy
    ├── putnam_1962_a4.thy
    ├── putnam_1962_a5.thy
    ├── putnam_1962_a6.thy
    ├── putnam_1962_b1.thy
    ├── putnam_1962_b2.thy
    ├── putnam_1962_b3.thy
    ├── putnam_1962_b5.thy
    ├── putnam_1962_b6.thy
    ├── putnam_1963_a2.thy
    ├── putnam_1963_a3.thy
    ├── putnam_1963_a4.thy
    ├── putnam_1963_a6.thy
    ├── putnam_1963_b1.thy
    ├── putnam_1963_b2.thy
    ├── putnam_1963_b3.thy
    ├── putnam_1963_b5.thy
    ├── putnam_1963_b6.thy
    ├── putnam_1964_a1.thy
    ├── putnam_1964_a2.thy
    ├── putnam_1964_a3.thy
    ├── putnam_1964_a4.thy
    ├── putnam_1964_a5.thy
    ├── putnam_1964_a6.thy
    ├── putnam_1964_b1.thy
    ├── putnam_1964_b2.thy
    ├── putnam_1964_b3.thy
    ├── putnam_1964_b5.thy
    ├── putnam_1964_b6.thy
    ├── putnam_1965_a1.thy
    ├── putnam_1965_a2.thy
    ├── putnam_1965_a3.thy
    ├── putnam_1965_a4.thy
    ├── putnam_1965_a5.thy
    ├── putnam_1965_a6.thy
    ├── putnam_1965_b1.thy
    ├── putnam_1965_b2.thy
    ├── putnam_1965_b3.thy
    ├── putnam_1965_b4.thy
    ├── putnam_1965_b5.thy
    ├── putnam_1965_b6.thy
    ├── putnam_1966_a1.thy
    ├── putnam_1966_a2.thy
    ├── putnam_1966_a3.thy
    ├── putnam_1966_a4.thy
    ├── putnam_1966_a5.thy
    ├── putnam_1966_a6.thy
    ├── putnam_1966_b1.thy
    ├── putnam_1966_b2.thy
    ├── putnam_1966_b3.thy
    ├── putnam_1966_b4.thy
    ├── putnam_1966_b5.thy
    ├── putnam_1966_b6.thy
    ├── putnam_1967_a1.thy
    ├── putnam_1967_a2.thy
    ├── putnam_1967_a3.thy
    ├── putnam_1967_a4.thy
    ├── putnam_1967_a5.thy
    ├── putnam_1967_a6.thy
    ├── putnam_1967_b1.thy
    ├── putnam_1967_b2.thy
    ├── putnam_1967_b3.thy
    ├── putnam_1967_b4.thy
    ├── putnam_1967_b5.thy
    ├── putnam_1967_b6.thy
    ├── putnam_1968_a1.thy
    ├── putnam_1968_a2.thy
    ├── putnam_1968_a3.thy
    ├── putnam_1968_a4.thy
    ├── putnam_1968_a5.thy
    ├── putnam_1968_a6.thy
    ├── putnam_1968_b2.thy
    ├── putnam_1968_b4.thy
    ├── putnam_1968_b5.thy
    ├── putnam_1968_b6.thy
    ├── putnam_1969_a1.thy
    ├── putnam_1969_a2.thy
    ├── putnam_1969_a4.thy
    ├── putnam_1969_a5.thy
    ├── putnam_1969_a6.thy
    ├── putnam_1969_b1.thy
    ├── putnam_1969_b2.thy
    ├── putnam_1969_b3.thy
    ├── putnam_1969_b5.thy
    ├── putnam_1969_b6.thy
    ├── putnam_1970_a1.thy
    ├── putnam_1970_a2.thy
    ├── putnam_1970_a3.thy
    ├── putnam_1970_a4.thy
    ├── putnam_1970_b1.thy
    ├── putnam_1970_b2.thy
    ├── putnam_1970_b3.thy
    ├── putnam_1970_b4.thy
    ├── putnam_1970_b5.thy
    ├── putnam_1970_b6.thy
    ├── putnam_1971_a1.thy
    ├── putnam_1971_a2.thy
    ├── putnam_1971_a3.thy
    ├── putnam_1971_a4.thy
    ├── putnam_1971_a5.thy
    ├── putnam_1971_a6.thy
    ├── putnam_1971_b1.thy
    ├── putnam_1971_b2.thy
    ├── putnam_1971_b3.thy
    ├── putnam_1971_b6.thy
    ├── putnam_1972_a1.thy
    ├── putnam_1972_a2.thy
    ├── putnam_1972_a3.thy
    ├── putnam_1972_a5.thy
    ├── putnam_1972_a6.thy
    ├── putnam_1972_b1.thy
    ├── putnam_1972_b2.thy
    ├── putnam_1972_b3.thy
    ├── putnam_1972_b4.thy
    ├── putnam_1972_b5.thy
    ├── putnam_1972_b6.thy
    ├── putnam_1973_a1.thy
    ├── putnam_1973_a2.thy
    ├── putnam_1973_a3.thy
    ├── putnam_1973_a4.thy
    ├── putnam_1973_a6.thy
    ├── putnam_1973_b1.thy
    ├── putnam_1973_b2.thy
    ├── putnam_1973_b3.thy
    ├── putnam_1973_b4.thy
    ├── putnam_1974_a1.thy
    ├── putnam_1974_a3.thy
    ├── putnam_1974_a4.thy
    ├── putnam_1974_a6.thy
    ├── putnam_1974_b1.thy
    ├── putnam_1974_b2.thy
    ├── putnam_1974_b3.thy
    ├── putnam_1974_b4.thy
    ├── putnam_1974_b5.thy
    ├── putnam_1974_b6.thy
    ├── putnam_1975_a1.thy
    ├── putnam_1975_a2.thy
    ├── putnam_1975_a3.thy
    ├── putnam_1975_a4.thy
    ├── putnam_1975_a5.thy
    ├── putnam_1975_b1.thy
    ├── putnam_1975_b2.thy
    ├── putnam_1975_b3.thy
    ├── putnam_1975_b4.thy
    ├── putnam_1975_b5.thy
    ├── putnam_1975_b6.thy
    ├── putnam_1976_a2.thy
    ├── putnam_1976_a3.thy
    ├── putnam_1976_a4.thy
    ├── putnam_1976_a6.thy
    ├── putnam_1976_b1.thy
    ├── putnam_1976_b2.thy
    ├── putnam_1976_b3.thy
    ├── putnam_1976_b5.thy
    ├── putnam_1976_b6.thy
    ├── putnam_1977_a1.thy
    ├── putnam_1977_a2.thy
    ├── putnam_1977_a3.thy
    ├── putnam_1977_a4.thy
    ├── putnam_1977_a5.thy
    ├── putnam_1977_a6.thy
    ├── putnam_1977_b1.thy
    ├── putnam_1977_b3.thy
    ├── putnam_1977_b5.thy
    ├── putnam_1977_b6.thy
    ├── putnam_1978_a1.thy
    ├── putnam_1978_a2.thy
    ├── putnam_1978_a3.thy
    ├── putnam_1978_a4.thy
    ├── putnam_1978_a5.thy
    ├── putnam_1978_a6.thy
    ├── putnam_1978_b2.thy
    ├── putnam_1978_b3.thy
    ├── putnam_1978_b4.thy
    ├── putnam_1978_b5.thy
    ├── putnam_1978_b6.thy
    ├── putnam_1979_a1.thy
    ├── putnam_1979_a2.thy
    ├── putnam_1979_a3.thy
    ├── putnam_1979_a4.thy
    ├── putnam_1979_a5.thy
    ├── putnam_1979_a6.thy
    ├── putnam_1979_b2.thy
    ├── putnam_1979_b3.thy
    ├── putnam_1979_b5.thy
    ├── putnam_1979_b6.thy
    ├── putnam_1980_a2.thy
    ├── putnam_1980_a3.thy
    ├── putnam_1980_a4.thy
    ├── putnam_1980_a5.thy
    ├── putnam_1980_a6.thy
    ├── putnam_1980_b1.thy
    ├── putnam_1980_b3.thy
    ├── putnam_1980_b4.thy
    ├── putnam_1980_b5.thy
    ├── putnam_1980_b6.thy
    ├── putnam_1981_a1.thy
    ├── putnam_1981_a3.thy
    ├── putnam_1981_a5.thy
    ├── putnam_1981_b1.thy
    ├── putnam_1981_b2.thy
    ├── putnam_1981_b3.thy
    ├── putnam_1981_b4.thy
    ├── putnam_1981_b5.thy
    ├── putnam_1982_a2.thy
    ├── putnam_1982_a3.thy
    ├── putnam_1982_a4.thy
    ├── putnam_1982_a5.thy
    ├── putnam_1982_a6.thy
    ├── putnam_1982_b2.thy
    ├── putnam_1982_b3.thy
    ├── putnam_1982_b4.thy
    ├── putnam_1982_b5.thy
    ├── putnam_1983_a1.thy
    ├── putnam_1983_a3.thy
    ├── putnam_1983_a4.thy
    ├── putnam_1983_a5.thy
    ├── putnam_1983_a6.thy
    ├── putnam_1983_b2.thy
    ├── putnam_1983_b4.thy
    ├── putnam_1983_b5.thy
    ├── putnam_1983_b6.thy
    ├── putnam_1984_a2.thy
    ├── putnam_1984_a3.thy
    ├── putnam_1984_a5.thy
    ├── putnam_1984_a6.thy
    ├── putnam_1984_b1.thy
    ├── putnam_1984_b2.thy
    ├── putnam_1984_b3.thy
    ├── putnam_1984_b5.thy
    ├── putnam_1985_a1.thy
    ├── putnam_1985_a3.thy
    ├── putnam_1985_a4.thy
    ├── putnam_1985_a5.thy
    ├── putnam_1985_a6.thy
    ├── putnam_1985_b1.thy
    ├── putnam_1985_b2.thy
    ├── putnam_1985_b3.thy
    ├── putnam_1985_b5.thy
    ├── putnam_1985_b6.thy
    ├── putnam_1986_a1.thy
    ├── putnam_1986_a2.thy
    ├── putnam_1986_a3.thy
    ├── putnam_1986_a4.thy
    ├── putnam_1986_a5.thy
    ├── putnam_1986_a6.thy
    ├── putnam_1986_b1.thy
    ├── putnam_1986_b2.thy
    ├── putnam_1986_b3.thy
    ├── putnam_1986_b4.thy
    ├── putnam_1986_b5.thy
    ├── putnam_1986_b6.thy
    ├── putnam_1987_a1.thy
    ├── putnam_1987_a2.thy
    ├── putnam_1987_a4.thy
    ├── putnam_1987_a5.thy
    ├── putnam_1987_a6.thy
    ├── putnam_1987_b1.thy
    ├── putnam_1987_b2.thy
    ├── putnam_1987_b3.thy
    ├── putnam_1987_b4.thy
    ├── putnam_1987_b5.thy
    ├── putnam_1987_b6.thy
    ├── putnam_1988_a1.thy
    ├── putnam_1988_a2.thy
    ├── putnam_1988_a3.thy
    ├── putnam_1988_a4.thy
    ├── putnam_1988_a5.thy
    ├── putnam_1988_a6.thy
    ├── putnam_1988_b1.thy
    ├── putnam_1988_b2.thy
    ├── putnam_1988_b3.thy
    ├── putnam_1988_b4.thy
    ├── putnam_1988_b5.thy
    ├── putnam_1988_b6.thy
    ├── putnam_1989_a1.thy
    ├── putnam_1989_a2.thy
    ├── putnam_1989_a3.thy
    ├── putnam_1989_a6.thy
    ├── putnam_1989_b1.thy
    ├── putnam_1989_b2.thy
    ├── putnam_1989_b3.thy
    ├── putnam_1989_b4.thy
    ├── putnam_1989_b6.thy
    ├── putnam_1990_a1.thy
    ├── putnam_1990_a2.thy
    ├── putnam_1990_a4.thy
    ├── putnam_1990_a5.thy
    ├── putnam_1990_a6.thy
    ├── putnam_1990_b1.thy
    ├── putnam_1990_b2.thy
    ├── putnam_1990_b3.thy
    ├── putnam_1990_b4.thy
    ├── putnam_1990_b5.thy
    ├── putnam_1991_a2.thy
    ├── putnam_1991_a3.thy
    ├── putnam_1991_a4.thy
    ├── putnam_1991_a5.thy
    ├── putnam_1991_a6.thy
    ├── putnam_1991_b1.thy
    ├── putnam_1991_b2.thy
    ├── putnam_1991_b4.thy
    ├── putnam_1991_b5.thy
    ├── putnam_1991_b6.thy
    ├── putnam_1992_a1.thy
    ├── putnam_1992_a2.thy
    ├── putnam_1992_a3.thy
    ├── putnam_1992_a4.thy
    ├── putnam_1992_a5.thy
    ├── putnam_1992_b1.thy
    ├── putnam_1992_b2.thy
    ├── putnam_1992_b3.thy
    ├── putnam_1992_b4.thy
    ├── putnam_1992_b5.thy
    ├── putnam_1992_b6.thy
    ├── putnam_1993_a1.thy
    ├── putnam_1993_a2.thy
    ├── putnam_1993_a3.thy
    ├── putnam_1993_a4.thy
    ├── putnam_1993_a5.thy
    ├── putnam_1993_a6.thy
    ├── putnam_1993_b1.thy
    ├── putnam_1993_b3.thy
    ├── putnam_1993_b4.thy
    ├── putnam_1993_b5.thy
    ├── putnam_1993_b6.thy
    ├── putnam_1994_a1.thy
    ├── putnam_1994_a3.thy
    ├── putnam_1994_a4.thy
    ├── putnam_1994_a5.thy
    ├── putnam_1994_a6.thy
    ├── putnam_1994_b1.thy
    ├── putnam_1994_b2.thy
    ├── putnam_1994_b3.thy
    ├── putnam_1994_b4.thy
    ├── putnam_1994_b5.thy
    ├── putnam_1994_b6.thy
    ├── putnam_1995_a1.thy
    ├── putnam_1995_a2.thy
    ├── putnam_1995_a3.thy
    ├── putnam_1995_a4.thy
    ├── putnam_1995_a5.thy
    ├── putnam_1995_a6.thy
    ├── putnam_1995_b1.thy
    ├── putnam_1995_b3.thy
    ├── putnam_1995_b4.thy
    ├── putnam_1995_b6.thy
    ├── putnam_1996_a2.thy
    ├── putnam_1996_a3.thy
    ├── putnam_1996_a4.thy
    ├── putnam_1996_a5.thy
    ├── putnam_1996_a6.thy
    ├── putnam_1996_b1.thy
    ├── putnam_1996_b2.thy
    ├── putnam_1996_b3.thy
    ├── putnam_1996_b4.thy
    ├── putnam_1996_b5.thy
    ├── putnam_1997_a3.thy
    ├── putnam_1997_a4.thy
    ├── putnam_1997_a5.thy
    ├── putnam_1997_a6.thy
    ├── putnam_1997_b1.thy
    ├── putnam_1997_b2.thy
    ├── putnam_1997_b3.thy
    ├── putnam_1997_b4.thy
    ├── putnam_1997_b5.thy
    ├── putnam_1998_a2.thy
    ├── putnam_1998_a3.thy
    ├── putnam_1998_a4.thy
    ├── putnam_1998_a5.thy
    ├── putnam_1998_a6.thy
    ├── putnam_1998_b1.thy
    ├── putnam_1998_b2.thy
    ├── putnam_1998_b4.thy
    ├── putnam_1998_b5.thy
    ├── putnam_1998_b6.thy
    ├── putnam_1999_a1.thy
    ├── putnam_1999_a2.thy
    ├── putnam_1999_a3.thy
    ├── putnam_1999_a4.thy
    ├── putnam_1999_a5.thy
    ├── putnam_1999_a6.thy
    ├── putnam_1999_b2.thy
    ├── putnam_1999_b3.thy
    ├── putnam_1999_b4.thy
    ├── putnam_1999_b5.thy
    ├── putnam_1999_b6.thy
    ├── putnam_2000_a1.thy
    ├── putnam_2000_a2.thy
    ├── putnam_2000_a4.thy
    ├── putnam_2000_a5.thy
    ├── putnam_2000_a6.thy
    ├── putnam_2000_b1.thy
    ├── putnam_2000_b2.thy
    ├── putnam_2000_b3.thy
    ├── putnam_2000_b4.thy
    ├── putnam_2000_b5.thy
    ├── putnam_2001_a1.thy
    ├── putnam_2001_a3.thy
    ├── putnam_2001_a5.thy
    ├── putnam_2001_b1.thy
    ├── putnam_2001_b2.thy
    ├── putnam_2001_b3.thy
    ├── putnam_2001_b4.thy
    ├── putnam_2001_b5.thy
    ├── putnam_2001_b6.thy
    ├── putnam_2002_a1.thy
    ├── putnam_2002_a2.thy
    ├── putnam_2002_a3.thy
    ├── putnam_2002_a5.thy
    ├── putnam_2002_a6.thy
    ├── putnam_2002_b3.thy
    ├── putnam_2002_b5.thy
    ├── putnam_2002_b6.thy
    ├── putnam_2003_a1.thy
    ├── putnam_2003_a2.thy
    ├── putnam_2003_a3.thy
    ├── putnam_2003_a4.thy
    ├── putnam_2003_a5.thy
    ├── putnam_2003_a6.thy
    ├── putnam_2003_b1.thy
    ├── putnam_2003_b2.thy
    ├── putnam_2003_b3.thy
    ├── putnam_2003_b4.thy
    ├── putnam_2003_b5.thy
    ├── putnam_2003_b6.thy
    ├── putnam_2004_a1.thy
    ├── putnam_2004_a3.thy
    ├── putnam_2004_a4.thy
    ├── putnam_2004_a5.thy
    ├── putnam_2004_a6.thy
    ├── putnam_2004_b1.thy
    ├── putnam_2004_b2.thy
    ├── putnam_2004_b4.thy
    ├── putnam_2004_b5.thy
    ├── putnam_2004_b6.thy
    ├── putnam_2005_a1.thy
    ├── putnam_2005_a2.thy
    ├── putnam_2005_a3.thy
    ├── putnam_2005_a4.thy
    ├── putnam_2005_a5.thy
    ├── putnam_2005_b1.thy
    ├── putnam_2005_b2.thy
    ├── putnam_2005_b3.thy
    ├── putnam_2005_b4.thy
    ├── putnam_2005_b5.thy
    ├── putnam_2005_b6.thy
    ├── putnam_2006_a1.thy
    ├── putnam_2006_a3.thy
    ├── putnam_2006_a4.thy
    ├── putnam_2006_a5.thy
    ├── putnam_2006_b1.thy
    ├── putnam_2006_b2.thy
    ├── putnam_2006_b3.thy
    ├── putnam_2006_b4.thy
    ├── putnam_2006_b5.thy
    ├── putnam_2006_b6.thy
    ├── putnam_2007_a1.thy
    ├── putnam_2007_a2.thy
    ├── putnam_2007_a3.thy
    ├── putnam_2007_a4.thy
    ├── putnam_2007_a5.thy
    ├── putnam_2007_b1.thy
    ├── putnam_2007_b2.thy
    ├── putnam_2007_b3.thy
    ├── putnam_2007_b4.thy
    ├── putnam_2007_b5.thy
    ├── putnam_2007_b6.thy
    ├── putnam_2008_a1.thy
    ├── putnam_2008_a3.thy
    ├── putnam_2008_a4.thy
    ├── putnam_2008_a5.thy
    ├── putnam_2008_a6.thy
    ├── putnam_2008_b1.thy
    ├── putnam_2008_b2.thy
    ├── putnam_2008_b3.thy
    ├── putnam_2008_b4.thy
    ├── putnam_2008_b5.thy
    ├── putnam_2008_b6.thy
    ├── putnam_2009_a1.thy
    ├── putnam_2009_a2.thy
    ├── putnam_2009_a3.thy
    ├── putnam_2009_a4.thy
    ├── putnam_2009_a5.thy
    ├── putnam_2009_b1.thy
    ├── putnam_2009_b2.thy
    ├── putnam_2009_b3.thy
    ├── putnam_2009_b4.thy
    ├── putnam_2009_b5.thy
    ├── putnam_2009_b6.thy
    ├── putnam_2010_a1.thy
    ├── putnam_2010_a2.thy
    ├── putnam_2010_a4.thy
    ├── putnam_2010_a5.thy
    ├── putnam_2010_a6.thy
    ├── putnam_2010_b1.thy
    ├── putnam_2010_b2.thy
    ├── putnam_2010_b3.thy
    ├── putnam_2010_b4.thy
    ├── putnam_2010_b5.thy
    ├── putnam_2010_b6.thy
    ├── putnam_2011_a1.thy
    ├── putnam_2011_a2.thy
    ├── putnam_2011_a3.thy
    ├── putnam_2011_a4.thy
    ├── putnam_2011_a5.thy
    ├── putnam_2011_a6.thy
    ├── putnam_2011_b1.thy
    ├── putnam_2011_b2.thy
    ├── putnam_2011_b3.thy
    ├── putnam_2011_b4.thy
    ├── putnam_2011_b5.thy
    ├── putnam_2011_b6.thy
    ├── putnam_2012_a1.thy
    ├── putnam_2012_a2.thy
    ├── putnam_2012_a3.thy
    ├── putnam_2012_a4.thy
    ├── putnam_2012_a5.thy
    ├── putnam_2012_a6.thy
    ├── putnam_2012_b1.thy
    ├── putnam_2012_b3.thy
    ├── putnam_2012_b4.thy
    ├── putnam_2012_b5.thy
    ├── putnam_2012_b6.thy
    ├── putnam_2013_a2.thy
    ├── putnam_2013_a3.thy
    ├── putnam_2013_a4.thy
    ├── putnam_2013_a5.thy
    ├── putnam_2013_a6.thy
    ├── putnam_2013_b1.thy
    ├── putnam_2013_b2.thy
    ├── putnam_2013_b3.thy
    ├── putnam_2013_b4.thy
    ├── putnam_2013_b5.thy
    ├── putnam_2014_a1.thy
    ├── putnam_2014_a2.thy
    ├── putnam_2014_a3.thy
    ├── putnam_2014_a4.thy
    ├── putnam_2014_a5.thy
    ├── putnam_2014_a6.thy
    ├── putnam_2014_b1.thy
    ├── putnam_2014_b2.thy
    ├── putnam_2014_b3.thy
    ├── putnam_2014_b4.thy
    ├── putnam_2014_b6.thy
    ├── putnam_2015_a1.thy
    ├── putnam_2015_a2.thy
    ├── putnam_2015_a3.thy
    ├── putnam_2015_a4.thy
    ├── putnam_2015_a5.thy
    ├── putnam_2015_a6.thy
    ├── putnam_2015_b1.thy
    ├── putnam_2015_b2.thy
    ├── putnam_2015_b3.thy
    ├── putnam_2015_b4.thy
    ├── putnam_2015_b5.thy
    ├── putnam_2015_b6.thy
    ├── putnam_2016_a1.thy
    ├── putnam_2016_a2.thy
    ├── putnam_2016_a3.thy
    ├── putnam_2016_a5.thy
    ├── putnam_2016_a6.thy
    ├── putnam_2016_b1.thy
    ├── putnam_2016_b2.thy
    ├── putnam_2016_b3.thy
    ├── putnam_2016_b4.thy
    ├── putnam_2016_b5.thy
    ├── putnam_2016_b6.thy
    ├── putnam_2017_a1.thy
    ├── putnam_2017_a2.thy
    ├── putnam_2017_a3.thy
    ├── putnam_2017_a4.thy
    ├── putnam_2017_b1.thy
    ├── putnam_2017_b2.thy
    ├── putnam_2017_b3.thy
    ├── putnam_2017_b4.thy
    ├── putnam_2017_b6.thy
    ├── putnam_2018_a1.thy
    ├── putnam_2018_a2.thy
    ├── putnam_2018_a3.thy
    ├── putnam_2018_a4.thy
    ├── putnam_2018_a5.thy
    ├── putnam_2018_a6.thy
    ├── putnam_2018_b1.thy
    ├── putnam_2018_b2.thy
    ├── putnam_2018_b3.thy
    ├── putnam_2018_b4.thy
    ├── putnam_2018_b5.thy
    ├── putnam_2018_b6.thy
    ├── putnam_2019_a1.thy
    ├── putnam_2019_a3.thy
    ├── putnam_2019_a5.thy
    ├── putnam_2019_a6.thy
    ├── putnam_2019_b1.thy
    ├── putnam_2019_b2.thy
    ├── putnam_2019_b3.thy
    ├── putnam_2019_b4.thy
    ├── putnam_2019_b5.thy
    ├── putnam_2019_b6.thy
    ├── putnam_2020_a1.thy
    ├── putnam_2020_a2.thy
    ├── putnam_2020_a3.thy
    ├── putnam_2020_a5.thy
    ├── putnam_2020_a6.thy
    ├── putnam_2020_b1.thy
    ├── putnam_2020_b4.thy
    ├── putnam_2020_b5.thy
    ├── putnam_2020_b6.thy
    ├── putnam_2021_a1.thy
    ├── putnam_2021_a2.thy
    ├── putnam_2021_a3.thy
    ├── putnam_2021_a4.thy
    ├── putnam_2021_a5.thy
    ├── putnam_2021_a6.thy
    ├── putnam_2021_b2.thy
    ├── putnam_2021_b3.thy
    ├── putnam_2021_b4.thy
    ├── putnam_2021_b5.thy
    ├── putnam_2022_a1.thy
    ├── putnam_2022_a2.thy
    ├── putnam_2022_a3.thy
    ├── putnam_2022_a6.thy
    ├── putnam_2022_b1.thy
    ├── putnam_2022_b2.thy
    ├── putnam_2022_b3.thy
    ├── putnam_2022_b4.thy
    ├── putnam_2022_b5.thy
    ├── putnam_2022_b6.thy
    ├── putnam_2023_a1.thy
    ├── putnam_2023_a2.thy
    ├── putnam_2023_a3.thy
    ├── putnam_2023_a5.thy
    ├── putnam_2023_a6.thy
    ├── putnam_2023_b1.thy
    ├── putnam_2023_b2.thy
    ├── putnam_2023_b4.thy
    ├── putnam_2023_b5.thy
    ├── putnam_2023_b6.thy
    └── scripts
    │   ├── convert_to_json.py
    │   └── rewrite_solutions.py
└── lean4
    ├── LICENSE
    ├── README.md
    ├── check_docstrings.lean
    ├── lake-manifest.json
    ├── lakefile.lean
    ├── lean-toolchain
    ├── scripts
        ├── extract_to_json.py
        ├── generate_files_by_year.py
        └── rewrite_solutions.py
    └── src
        ├── putnam_1962_a1.lean
        ├── putnam_1962_a2.lean
        ├── putnam_1962_a3.lean
        ├── putnam_1962_a4.lean
        ├── putnam_1962_a5.lean
        ├── putnam_1962_a6.lean
        ├── putnam_1962_b1.lean
        ├── putnam_1962_b2.lean
        ├── putnam_1962_b3.lean
        ├── putnam_1962_b5.lean
        ├── putnam_1962_b6.lean
        ├── putnam_1963_a2.lean
        ├── putnam_1963_a3.lean
        ├── putnam_1963_a4.lean
        ├── putnam_1963_a6.lean
        ├── putnam_1963_b1.lean
        ├── putnam_1963_b2.lean
        ├── putnam_1963_b3.lean
        ├── putnam_1963_b5.lean
        ├── putnam_1963_b6.lean
        ├── putnam_1964_a1.lean
        ├── putnam_1964_a2.lean
        ├── putnam_1964_a3.lean
        ├── putnam_1964_a4.lean
        ├── putnam_1964_a5.lean
        ├── putnam_1964_a6.lean
        ├── putnam_1964_b1.lean
        ├── putnam_1964_b2.lean
        ├── putnam_1964_b3.lean
        ├── putnam_1964_b4.lean
        ├── putnam_1964_b5.lean
        ├── putnam_1964_b6.lean
        ├── putnam_1965_a1.lean
        ├── putnam_1965_a2.lean
        ├── putnam_1965_a3.lean
        ├── putnam_1965_a4.lean
        ├── putnam_1965_a5.lean
        ├── putnam_1965_a6.lean
        ├── putnam_1965_b1.lean
        ├── putnam_1965_b2.lean
        ├── putnam_1965_b3.lean
        ├── putnam_1965_b4.lean
        ├── putnam_1965_b5.lean
        ├── putnam_1965_b6.lean
        ├── putnam_1966_a1.lean
        ├── putnam_1966_a2.lean
        ├── putnam_1966_a3.lean
        ├── putnam_1966_a4.lean
        ├── putnam_1966_a5.lean
        ├── putnam_1966_a6.lean
        ├── putnam_1966_b1.lean
        ├── putnam_1966_b2.lean
        ├── putnam_1966_b3.lean
        ├── putnam_1966_b4.lean
        ├── putnam_1966_b5.lean
        ├── putnam_1966_b6.lean
        ├── putnam_1967_a1.lean
        ├── putnam_1967_a2.lean
        ├── putnam_1967_a3.lean
        ├── putnam_1967_a4.lean
        ├── putnam_1967_a5.lean
        ├── putnam_1967_a6.lean
        ├── putnam_1967_b1.lean
        ├── putnam_1967_b2.lean
        ├── putnam_1967_b3.lean
        ├── putnam_1967_b4.lean
        ├── putnam_1967_b5.lean
        ├── putnam_1967_b6.lean
        ├── putnam_1968_a1.lean
        ├── putnam_1968_a2.lean
        ├── putnam_1968_a3.lean
        ├── putnam_1968_a4.lean
        ├── putnam_1968_a5.lean
        ├── putnam_1968_a6.lean
        ├── putnam_1968_b1.lean
        ├── putnam_1968_b2.lean
        ├── putnam_1968_b4.lean
        ├── putnam_1968_b5.lean
        ├── putnam_1968_b6.lean
        ├── putnam_1969_a1.lean
        ├── putnam_1969_a2.lean
        ├── putnam_1969_a4.lean
        ├── putnam_1969_a5.lean
        ├── putnam_1969_a6.lean
        ├── putnam_1969_b1.lean
        ├── putnam_1969_b2.lean
        ├── putnam_1969_b3.lean
        ├── putnam_1969_b4.lean
        ├── putnam_1969_b5.lean
        ├── putnam_1969_b6.lean
        ├── putnam_1970_a1.lean
        ├── putnam_1970_a2.lean
        ├── putnam_1970_a3.lean
        ├── putnam_1970_a4.lean
        ├── putnam_1970_b1.lean
        ├── putnam_1970_b2.lean
        ├── putnam_1970_b3.lean
        ├── putnam_1970_b4.lean
        ├── putnam_1970_b5.lean
        ├── putnam_1970_b6.lean
        ├── putnam_1971_a1.lean
        ├── putnam_1971_a2.lean
        ├── putnam_1971_a3.lean
        ├── putnam_1971_a4.lean
        ├── putnam_1971_a5.lean
        ├── putnam_1971_a6.lean
        ├── putnam_1971_b1.lean
        ├── putnam_1971_b2.lean
        ├── putnam_1971_b3.lean
        ├── putnam_1971_b6.lean
        ├── putnam_1972_a1.lean
        ├── putnam_1972_a2.lean
        ├── putnam_1972_a3.lean
        ├── putnam_1972_a5.lean
        ├── putnam_1972_a6.lean
        ├── putnam_1972_b1.lean
        ├── putnam_1972_b2.lean
        ├── putnam_1972_b3.lean
        ├── putnam_1972_b4.lean
        ├── putnam_1972_b5.lean
        ├── putnam_1972_b6.lean
        ├── putnam_1973_a1.lean
        ├── putnam_1973_a2.lean
        ├── putnam_1973_a3.lean
        ├── putnam_1973_a4.lean
        ├── putnam_1973_a6.lean
        ├── putnam_1973_b1.lean
        ├── putnam_1973_b2.lean
        ├── putnam_1973_b3.lean
        ├── putnam_1973_b4.lean
        ├── putnam_1974_a1.lean
        ├── putnam_1974_a3.lean
        ├── putnam_1974_a4.lean
        ├── putnam_1974_a6.lean
        ├── putnam_1974_b1.lean
        ├── putnam_1974_b2.lean
        ├── putnam_1974_b3.lean
        ├── putnam_1974_b4.lean
        ├── putnam_1974_b5.lean
        ├── putnam_1974_b6.lean
        ├── putnam_1975_a1.lean
        ├── putnam_1975_a2.lean
        ├── putnam_1975_a3.lean
        ├── putnam_1975_a4.lean
        ├── putnam_1975_a5.lean
        ├── putnam_1975_b1.lean
        ├── putnam_1975_b2.lean
        ├── putnam_1975_b3.lean
        ├── putnam_1975_b4.lean
        ├── putnam_1975_b5.lean
        ├── putnam_1975_b6.lean
        ├── putnam_1976_a2.lean
        ├── putnam_1976_a3.lean
        ├── putnam_1976_a4.lean
        ├── putnam_1976_a6.lean
        ├── putnam_1976_b1.lean
        ├── putnam_1976_b2.lean
        ├── putnam_1976_b3.lean
        ├── putnam_1976_b5.lean
        ├── putnam_1976_b6.lean
        ├── putnam_1977_a1.lean
        ├── putnam_1977_a2.lean
        ├── putnam_1977_a3.lean
        ├── putnam_1977_a4.lean
        ├── putnam_1977_a5.lean
        ├── putnam_1977_a6.lean
        ├── putnam_1977_b1.lean
        ├── putnam_1977_b3.lean
        ├── putnam_1977_b5.lean
        ├── putnam_1977_b6.lean
        ├── putnam_1978_a1.lean
        ├── putnam_1978_a2.lean
        ├── putnam_1978_a3.lean
        ├── putnam_1978_a4.lean
        ├── putnam_1978_a5.lean
        ├── putnam_1978_a6.lean
        ├── putnam_1978_b2.lean
        ├── putnam_1978_b3.lean
        ├── putnam_1978_b4.lean
        ├── putnam_1978_b5.lean
        ├── putnam_1978_b6.lean
        ├── putnam_1979_a1.lean
        ├── putnam_1979_a2.lean
        ├── putnam_1979_a3.lean
        ├── putnam_1979_a4.lean
        ├── putnam_1979_a5.lean
        ├── putnam_1979_a6.lean
        ├── putnam_1979_b2.lean
        ├── putnam_1979_b3.lean
        ├── putnam_1979_b5.lean
        ├── putnam_1979_b6.lean
        ├── putnam_1980_a2.lean
        ├── putnam_1980_a3.lean
        ├── putnam_1980_a4.lean
        ├── putnam_1980_a5.lean
        ├── putnam_1980_a6.lean
        ├── putnam_1980_b1.lean
        ├── putnam_1980_b3.lean
        ├── putnam_1980_b4.lean
        ├── putnam_1980_b5.lean
        ├── putnam_1980_b6.lean
        ├── putnam_1981_a1.lean
        ├── putnam_1981_a3.lean
        ├── putnam_1981_a5.lean
        ├── putnam_1981_b1.lean
        ├── putnam_1981_b2.lean
        ├── putnam_1981_b3.lean
        ├── putnam_1981_b4.lean
        ├── putnam_1981_b5.lean
        ├── putnam_1982_a2.lean
        ├── putnam_1982_a3.lean
        ├── putnam_1982_a4.lean
        ├── putnam_1982_a5.lean
        ├── putnam_1982_a6.lean
        ├── putnam_1982_b2.lean
        ├── putnam_1982_b3.lean
        ├── putnam_1982_b4.lean
        ├── putnam_1982_b5.lean
        ├── putnam_1983_a1.lean
        ├── putnam_1983_a3.lean
        ├── putnam_1983_a4.lean
        ├── putnam_1983_a5.lean
        ├── putnam_1983_a6.lean
        ├── putnam_1983_b2.lean
        ├── putnam_1983_b4.lean
        ├── putnam_1983_b5.lean
        ├── putnam_1983_b6.lean
        ├── putnam_1984_a2.lean
        ├── putnam_1984_a3.lean
        ├── putnam_1984_a5.lean
        ├── putnam_1984_a6.lean
        ├── putnam_1984_b1.lean
        ├── putnam_1984_b2.lean
        ├── putnam_1984_b3.lean
        ├── putnam_1984_b5.lean
        ├── putnam_1985_a1.lean
        ├── putnam_1985_a3.lean
        ├── putnam_1985_a4.lean
        ├── putnam_1985_a5.lean
        ├── putnam_1985_a6.lean
        ├── putnam_1985_b1.lean
        ├── putnam_1985_b2.lean
        ├── putnam_1985_b3.lean
        ├── putnam_1985_b5.lean
        ├── putnam_1985_b6.lean
        ├── putnam_1986_a1.lean
        ├── putnam_1986_a2.lean
        ├── putnam_1986_a3.lean
        ├── putnam_1986_a4.lean
        ├── putnam_1986_a5.lean
        ├── putnam_1986_a6.lean
        ├── putnam_1986_b1.lean
        ├── putnam_1986_b2.lean
        ├── putnam_1986_b3.lean
        ├── putnam_1986_b4.lean
        ├── putnam_1986_b5.lean
        ├── putnam_1986_b6.lean
        ├── putnam_1987_a1.lean
        ├── putnam_1987_a2.lean
        ├── putnam_1987_a4.lean
        ├── putnam_1987_a5.lean
        ├── putnam_1987_a6.lean
        ├── putnam_1987_b1.lean
        ├── putnam_1987_b2.lean
        ├── putnam_1987_b3.lean
        ├── putnam_1987_b4.lean
        ├── putnam_1987_b5.lean
        ├── putnam_1987_b6.lean
        ├── putnam_1988_a1.lean
        ├── putnam_1988_a2.lean
        ├── putnam_1988_a3.lean
        ├── putnam_1988_a4.lean
        ├── putnam_1988_a5.lean
        ├── putnam_1988_a6.lean
        ├── putnam_1988_b1.lean
        ├── putnam_1988_b2.lean
        ├── putnam_1988_b3.lean
        ├── putnam_1988_b4.lean
        ├── putnam_1988_b5.lean
        ├── putnam_1988_b6.lean
        ├── putnam_1989_a1.lean
        ├── putnam_1989_a2.lean
        ├── putnam_1989_a3.lean
        ├── putnam_1989_a6.lean
        ├── putnam_1989_b1.lean
        ├── putnam_1989_b2.lean
        ├── putnam_1989_b3.lean
        ├── putnam_1989_b4.lean
        ├── putnam_1989_b6.lean
        ├── putnam_1990_a1.lean
        ├── putnam_1990_a2.lean
        ├── putnam_1990_a4.lean
        ├── putnam_1990_a5.lean
        ├── putnam_1990_a6.lean
        ├── putnam_1990_b1.lean
        ├── putnam_1990_b2.lean
        ├── putnam_1990_b3.lean
        ├── putnam_1990_b4.lean
        ├── putnam_1990_b5.lean
        ├── putnam_1991_a2.lean
        ├── putnam_1991_a3.lean
        ├── putnam_1991_a4.lean
        ├── putnam_1991_a5.lean
        ├── putnam_1991_a6.lean
        ├── putnam_1991_b1.lean
        ├── putnam_1991_b2.lean
        ├── putnam_1991_b4.lean
        ├── putnam_1991_b5.lean
        ├── putnam_1991_b6.lean
        ├── putnam_1992_a1.lean
        ├── putnam_1992_a2.lean
        ├── putnam_1992_a3.lean
        ├── putnam_1992_a4.lean
        ├── putnam_1992_a5.lean
        ├── putnam_1992_b1.lean
        ├── putnam_1992_b2.lean
        ├── putnam_1992_b3.lean
        ├── putnam_1992_b4.lean
        ├── putnam_1992_b5.lean
        ├── putnam_1992_b6.lean
        ├── putnam_1993_a1.lean
        ├── putnam_1993_a2.lean
        ├── putnam_1993_a3.lean
        ├── putnam_1993_a4.lean
        ├── putnam_1993_a5.lean
        ├── putnam_1993_a6.lean
        ├── putnam_1993_b1.lean
        ├── putnam_1993_b3.lean
        ├── putnam_1993_b4.lean
        ├── putnam_1993_b5.lean
        ├── putnam_1993_b6.lean
        ├── putnam_1994_a1.lean
        ├── putnam_1994_a3.lean
        ├── putnam_1994_a4.lean
        ├── putnam_1994_a5.lean
        ├── putnam_1994_a6.lean
        ├── putnam_1994_b1.lean
        ├── putnam_1994_b2.lean
        ├── putnam_1994_b3.lean
        ├── putnam_1994_b4.lean
        ├── putnam_1994_b5.lean
        ├── putnam_1994_b6.lean
        ├── putnam_1995_a1.lean
        ├── putnam_1995_a2.lean
        ├── putnam_1995_a3.lean
        ├── putnam_1995_a4.lean
        ├── putnam_1995_a5.lean
        ├── putnam_1995_a6.lean
        ├── putnam_1995_b1.lean
        ├── putnam_1995_b3.lean
        ├── putnam_1995_b4.lean
        ├── putnam_1995_b6.lean
        ├── putnam_1996_a2.lean
        ├── putnam_1996_a3.lean
        ├── putnam_1996_a4.lean
        ├── putnam_1996_a5.lean
        ├── putnam_1996_a6.lean
        ├── putnam_1996_b1.lean
        ├── putnam_1996_b2.lean
        ├── putnam_1996_b3.lean
        ├── putnam_1996_b4.lean
        ├── putnam_1996_b5.lean
        ├── putnam_1997_a3.lean
        ├── putnam_1997_a4.lean
        ├── putnam_1997_a5.lean
        ├── putnam_1997_a6.lean
        ├── putnam_1997_b1.lean
        ├── putnam_1997_b2.lean
        ├── putnam_1997_b3.lean
        ├── putnam_1997_b4.lean
        ├── putnam_1997_b5.lean
        ├── putnam_1998_a2.lean
        ├── putnam_1998_a3.lean
        ├── putnam_1998_a4.lean
        ├── putnam_1998_a5.lean
        ├── putnam_1998_a6.lean
        ├── putnam_1998_b1.lean
        ├── putnam_1998_b2.lean
        ├── putnam_1998_b4.lean
        ├── putnam_1998_b5.lean
        ├── putnam_1998_b6.lean
        ├── putnam_1999_a1.lean
        ├── putnam_1999_a2.lean
        ├── putnam_1999_a3.lean
        ├── putnam_1999_a4.lean
        ├── putnam_1999_a5.lean
        ├── putnam_1999_a6.lean
        ├── putnam_1999_b2.lean
        ├── putnam_1999_b3.lean
        ├── putnam_1999_b4.lean
        ├── putnam_1999_b5.lean
        ├── putnam_1999_b6.lean
        ├── putnam_2000_a1.lean
        ├── putnam_2000_a2.lean
        ├── putnam_2000_a4.lean
        ├── putnam_2000_a5.lean
        ├── putnam_2000_a6.lean
        ├── putnam_2000_b1.lean
        ├── putnam_2000_b2.lean
        ├── putnam_2000_b3.lean
        ├── putnam_2000_b4.lean
        ├── putnam_2000_b5.lean
        ├── putnam_2001_a1.lean
        ├── putnam_2001_a3.lean
        ├── putnam_2001_a5.lean
        ├── putnam_2001_b1.lean
        ├── putnam_2001_b2.lean
        ├── putnam_2001_b3.lean
        ├── putnam_2001_b4.lean
        ├── putnam_2001_b5.lean
        ├── putnam_2001_b6.lean
        ├── putnam_2002_a1.lean
        ├── putnam_2002_a2.lean
        ├── putnam_2002_a3.lean
        ├── putnam_2002_a5.lean
        ├── putnam_2002_a6.lean
        ├── putnam_2002_b3.lean
        ├── putnam_2002_b5.lean
        ├── putnam_2002_b6.lean
        ├── putnam_2003_a1.lean
        ├── putnam_2003_a2.lean
        ├── putnam_2003_a3.lean
        ├── putnam_2003_a4.lean
        ├── putnam_2003_a5.lean
        ├── putnam_2003_a6.lean
        ├── putnam_2003_b1.lean
        ├── putnam_2003_b2.lean
        ├── putnam_2003_b3.lean
        ├── putnam_2003_b4.lean
        ├── putnam_2003_b5.lean
        ├── putnam_2003_b6.lean
        ├── putnam_2004_a1.lean
        ├── putnam_2004_a3.lean
        ├── putnam_2004_a4.lean
        ├── putnam_2004_a5.lean
        ├── putnam_2004_a6.lean
        ├── putnam_2004_b1.lean
        ├── putnam_2004_b2.lean
        ├── putnam_2004_b4.lean
        ├── putnam_2004_b5.lean
        ├── putnam_2004_b6.lean
        ├── putnam_2005_a1.lean
        ├── putnam_2005_a2.lean
        ├── putnam_2005_a3.lean
        ├── putnam_2005_a4.lean
        ├── putnam_2005_a5.lean
        ├── putnam_2005_b1.lean
        ├── putnam_2005_b2.lean
        ├── putnam_2005_b3.lean
        ├── putnam_2005_b4.lean
        ├── putnam_2005_b5.lean
        ├── putnam_2005_b6.lean
        ├── putnam_2006_a1.lean
        ├── putnam_2006_a3.lean
        ├── putnam_2006_a4.lean
        ├── putnam_2006_a5.lean
        ├── putnam_2006_b1.lean
        ├── putnam_2006_b2.lean
        ├── putnam_2006_b3.lean
        ├── putnam_2006_b4.lean
        ├── putnam_2006_b5.lean
        ├── putnam_2006_b6.lean
        ├── putnam_2007_a1.lean
        ├── putnam_2007_a2.lean
        ├── putnam_2007_a3.lean
        ├── putnam_2007_a4.lean
        ├── putnam_2007_a5.lean
        ├── putnam_2007_b1.lean
        ├── putnam_2007_b2.lean
        ├── putnam_2007_b3.lean
        ├── putnam_2007_b4.lean
        ├── putnam_2007_b5.lean
        ├── putnam_2007_b6.lean
        ├── putnam_2008_a1.lean
        ├── putnam_2008_a3.lean
        ├── putnam_2008_a4.lean
        ├── putnam_2008_a5.lean
        ├── putnam_2008_a6.lean
        ├── putnam_2008_b1.lean
        ├── putnam_2008_b2.lean
        ├── putnam_2008_b3.lean
        ├── putnam_2008_b4.lean
        ├── putnam_2008_b5.lean
        ├── putnam_2008_b6.lean
        ├── putnam_2009_a1.lean
        ├── putnam_2009_a2.lean
        ├── putnam_2009_a3.lean
        ├── putnam_2009_a4.lean
        ├── putnam_2009_a5.lean
        ├── putnam_2009_b1.lean
        ├── putnam_2009_b2.lean
        ├── putnam_2009_b3.lean
        ├── putnam_2009_b4.lean
        ├── putnam_2009_b5.lean
        ├── putnam_2009_b6.lean
        ├── putnam_2010_a1.lean
        ├── putnam_2010_a2.lean
        ├── putnam_2010_a3.lean
        ├── putnam_2010_a4.lean
        ├── putnam_2010_a5.lean
        ├── putnam_2010_a6.lean
        ├── putnam_2010_b1.lean
        ├── putnam_2010_b2.lean
        ├── putnam_2010_b3.lean
        ├── putnam_2010_b4.lean
        ├── putnam_2010_b5.lean
        ├── putnam_2010_b6.lean
        ├── putnam_2011_a1.lean
        ├── putnam_2011_a2.lean
        ├── putnam_2011_a3.lean
        ├── putnam_2011_a4.lean
        ├── putnam_2011_a5.lean
        ├── putnam_2011_a6.lean
        ├── putnam_2011_b1.lean
        ├── putnam_2011_b2.lean
        ├── putnam_2011_b3.lean
        ├── putnam_2011_b4.lean
        ├── putnam_2011_b5.lean
        ├── putnam_2011_b6.lean
        ├── putnam_2012_a1.lean
        ├── putnam_2012_a2.lean
        ├── putnam_2012_a3.lean
        ├── putnam_2012_a4.lean
        ├── putnam_2012_a5.lean
        ├── putnam_2012_a6.lean
        ├── putnam_2012_b1.lean
        ├── putnam_2012_b3.lean
        ├── putnam_2012_b4.lean
        ├── putnam_2012_b5.lean
        ├── putnam_2012_b6.lean
        ├── putnam_2013_a2.lean
        ├── putnam_2013_a3.lean
        ├── putnam_2013_a4.lean
        ├── putnam_2013_a5.lean
        ├── putnam_2013_a6.lean
        ├── putnam_2013_b1.lean
        ├── putnam_2013_b2.lean
        ├── putnam_2013_b3.lean
        ├── putnam_2013_b4.lean
        ├── putnam_2013_b5.lean
        ├── putnam_2014_a1.lean
        ├── putnam_2014_a2.lean
        ├── putnam_2014_a3.lean
        ├── putnam_2014_a4.lean
        ├── putnam_2014_a5.lean
        ├── putnam_2014_a6.lean
        ├── putnam_2014_b1.lean
        ├── putnam_2014_b2.lean
        ├── putnam_2014_b3.lean
        ├── putnam_2014_b4.lean
        ├── putnam_2014_b6.lean
        ├── putnam_2015_a1.lean
        ├── putnam_2015_a2.lean
        ├── putnam_2015_a3.lean
        ├── putnam_2015_a4.lean
        ├── putnam_2015_a5.lean
        ├── putnam_2015_a6.lean
        ├── putnam_2015_b1.lean
        ├── putnam_2015_b2.lean
        ├── putnam_2015_b3.lean
        ├── putnam_2015_b4.lean
        ├── putnam_2015_b5.lean
        ├── putnam_2015_b6.lean
        ├── putnam_2016_a1.lean
        ├── putnam_2016_a2.lean
        ├── putnam_2016_a3.lean
        ├── putnam_2016_a5.lean
        ├── putnam_2016_a6.lean
        ├── putnam_2016_b1.lean
        ├── putnam_2016_b2.lean
        ├── putnam_2016_b3.lean
        ├── putnam_2016_b4.lean
        ├── putnam_2016_b5.lean
        ├── putnam_2016_b6.lean
        ├── putnam_2017_a1.lean
        ├── putnam_2017_a2.lean
        ├── putnam_2017_a3.lean
        ├── putnam_2017_a4.lean
        ├── putnam_2017_b1.lean
        ├── putnam_2017_b2.lean
        ├── putnam_2017_b3.lean
        ├── putnam_2017_b4.lean
        ├── putnam_2017_b6.lean
        ├── putnam_2018_a1.lean
        ├── putnam_2018_a2.lean
        ├── putnam_2018_a3.lean
        ├── putnam_2018_a4.lean
        ├── putnam_2018_a5.lean
        ├── putnam_2018_a6.lean
        ├── putnam_2018_b1.lean
        ├── putnam_2018_b2.lean
        ├── putnam_2018_b3.lean
        ├── putnam_2018_b4.lean
        ├── putnam_2018_b5.lean
        ├── putnam_2018_b6.lean
        ├── putnam_2019_a1.lean
        ├── putnam_2019_a3.lean
        ├── putnam_2019_a4.lean
        ├── putnam_2019_a5.lean
        ├── putnam_2019_a6.lean
        ├── putnam_2019_b1.lean
        ├── putnam_2019_b2.lean
        ├── putnam_2019_b3.lean
        ├── putnam_2019_b4.lean
        ├── putnam_2019_b5.lean
        ├── putnam_2019_b6.lean
        ├── putnam_2020_a1.lean
        ├── putnam_2020_a2.lean
        ├── putnam_2020_a3.lean
        ├── putnam_2020_a5.lean
        ├── putnam_2020_a6.lean
        ├── putnam_2020_b1.lean
        ├── putnam_2020_b4.lean
        ├── putnam_2020_b5.lean
        ├── putnam_2020_b6.lean
        ├── putnam_2021_a1.lean
        ├── putnam_2021_a2.lean
        ├── putnam_2021_a3.lean
        ├── putnam_2021_a4.lean
        ├── putnam_2021_a5.lean
        ├── putnam_2021_a6.lean
        ├── putnam_2021_b2.lean
        ├── putnam_2021_b3.lean
        ├── putnam_2021_b4.lean
        ├── putnam_2021_b5.lean
        ├── putnam_2022_a1.lean
        ├── putnam_2022_a2.lean
        ├── putnam_2022_a3.lean
        ├── putnam_2022_a4.lean
        ├── putnam_2022_a5.lean
        ├── putnam_2022_a6.lean
        ├── putnam_2022_b1.lean
        ├── putnam_2022_b2.lean
        ├── putnam_2022_b3.lean
        ├── putnam_2022_b4.lean
        ├── putnam_2022_b5.lean
        ├── putnam_2022_b6.lean
        ├── putnam_2023_a1.lean
        ├── putnam_2023_a2.lean
        ├── putnam_2023_a3.lean
        ├── putnam_2023_a4.lean
        ├── putnam_2023_a5.lean
        ├── putnam_2023_a6.lean
        ├── putnam_2023_b1.lean
        ├── putnam_2023_b2.lean
        ├── putnam_2023_b3.lean
        ├── putnam_2023_b4.lean
        ├── putnam_2023_b5.lean
        ├── putnam_2023_b6.lean
        ├── putnam_2024_a1.lean
        ├── putnam_2024_a2.lean
        ├── putnam_2024_a3.lean
        ├── putnam_2024_a4.lean
        ├── putnam_2024_a5.lean
        ├── putnam_2024_a6.lean
        ├── putnam_2024_b1.lean
        ├── putnam_2024_b3.lean
        ├── putnam_2024_b4.lean
        ├── putnam_2024_b5.lean
        └── putnam_2024_b6.lean


/.github/workflows/lean.yml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/.github/workflows/lean.yml


--------------------------------------------------------------------------------
/.gitignore:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/.gitignore


--------------------------------------------------------------------------------
/.vscode/extensions.json:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/.vscode/extensions.json


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/README.md


--------------------------------------------------------------------------------
/coq/LICENSE:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/LICENSE


--------------------------------------------------------------------------------
/coq/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/README.md


--------------------------------------------------------------------------------
/coq/setup.sh:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/setup.sh


--------------------------------------------------------------------------------
/coq/src/putnam_1962_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1962_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1962_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1962_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1962_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1962_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1962_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1962_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1963_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1963_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1964_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1964_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1965_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1965_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1966_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1966_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1967_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1967_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1968_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1968_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1969_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1969_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1969_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1969_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1969_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1969_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1969_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1969_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1969_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1969_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1970_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1970_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1971_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1971_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1972_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1972_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1973_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1973_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1973_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1973_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1973_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1973_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1973_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1973_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1973_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1973_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1973_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1973_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1974_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1974_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1975_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1975_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1975_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1975_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1975_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1975_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1975_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1975_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1975_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1975_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1975_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1975_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1976_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1976_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1976_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1976_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1976_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1976_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1976_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1976_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1977_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1977_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1978_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1978_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1979_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1979_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1980_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1980_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1981_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1981_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1981_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1981_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1981_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1981_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1981_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1981_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1981_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1981_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1981_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1981_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1982_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1982_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1982_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1982_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1982_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1982_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1982_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1982_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1982_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1982_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1983_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1983_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1984_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1984_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1984_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1984_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1984_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1984_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1984_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1984_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1984_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1984_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1985_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1985_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1986_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1986_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1986_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1986_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1986_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1986_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1986_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1986_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1986_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1986_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1986_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1986_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1987_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1987_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1987_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1987_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1987_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1987_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1987_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1987_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1988_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1988_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1989_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1989_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1989_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1989_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1990_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1990_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1991_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1991_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1992_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1992_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1992_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1992_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1992_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1992_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1992_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1992_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1992_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1992_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1992_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1992_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1993_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1993_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1993_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1993_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1993_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1993_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1993_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1993_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1993_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1993_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1993_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1993_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1994_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1994_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1995_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1995_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1995_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1995_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1995_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1995_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1995_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1995_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1995_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1995_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1995_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1995_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1996_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1996_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1997_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1997_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1998_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1998_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1998_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1998_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1998_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1998_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_1998_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1998_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1998_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1998_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1998_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1998_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_1999_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_1999_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2000_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2000_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2001_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2001_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2002_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2002_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2002_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2002_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2003_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2003_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2004_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2004_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2004_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2004_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2004_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2004_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2004_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2004_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2004_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2004_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2004_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2004_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2005_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2005_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2006_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2006_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2006_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2006_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2006_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2006_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2006_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2006_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2007_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2007_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2007_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2007_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2007_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2007_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2007_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2007_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2008_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2008_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2008_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2008_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2008_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2008_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2008_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2008_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2008_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2008_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2008_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2008_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2009_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2009_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2009_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2009_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2009_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2009_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2009_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2009_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2009_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2009_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2009_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2009_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2010_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2010_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2011_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2011_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2011_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2011_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2011_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2011_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2011_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2011_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2011_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2011_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2011_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2011_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2012_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2012_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2012_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2012_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2012_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2012_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2012_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2012_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2012_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2012_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2013_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2013_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2013_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2013_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2013_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2013_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2013_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2013_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2013_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2013_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2013_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2013_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2014_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2014_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2014_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2014_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2014_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2014_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2014_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2014_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2014_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2014_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2014_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2014_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2015_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2015_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2016_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2016_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2017_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2017_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_b3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_b3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2018_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2018_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2019_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2019_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2019_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2019_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2019_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2019_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2019_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2019_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_b5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2020_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2020_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2021_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2021_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2021_a4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2021_a4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2021_a5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2021_a5.v


--------------------------------------------------------------------------------
/coq/src/putnam_2021_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2021_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2021_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2021_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2021_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2021_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_a6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_a6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_b1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_b1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_b4.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_b4.v


--------------------------------------------------------------------------------
/coq/src/putnam_2022_b6.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2022_b6.v


--------------------------------------------------------------------------------
/coq/src/putnam_2023_a1.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2023_a1.v


--------------------------------------------------------------------------------
/coq/src/putnam_2023_a2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2023_a2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2023_a3.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2023_a3.v


--------------------------------------------------------------------------------
/coq/src/putnam_2023_b2.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2023_b2.v


--------------------------------------------------------------------------------
/coq/src/putnam_2023_b5.v:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/coq/src/putnam_2023_b5.v


--------------------------------------------------------------------------------
/docs/.gitignore:
--------------------------------------------------------------------------------
1 | .DS_store
2 | .idea
3 | 


--------------------------------------------------------------------------------
/docs/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/README.md


--------------------------------------------------------------------------------
/docs/index.html:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/index.html


--------------------------------------------------------------------------------
/docs/leaderboard.html:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/leaderboard.html


--------------------------------------------------------------------------------
/docs/results.json:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/results.json


--------------------------------------------------------------------------------
/docs/static/css/index.css:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/static/css/index.css


--------------------------------------------------------------------------------
/docs/static/images/icon.svg:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/static/images/icon.svg


--------------------------------------------------------------------------------
/docs/static/js/index.js:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/docs/static/js/index.js


--------------------------------------------------------------------------------
/informal/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/informal/README.md


--------------------------------------------------------------------------------
/informal/putnam.json:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/informal/putnam.json


--------------------------------------------------------------------------------
/isabelle/LICENSE:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/LICENSE


--------------------------------------------------------------------------------
/isabelle/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/README.md


--------------------------------------------------------------------------------
/isabelle/putnam_1962_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1962_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1962_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1963_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1963_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1964_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1964_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1965_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1965_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1966_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1966_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1967_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1967_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1968_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1968_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1969_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1969_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1970_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1970_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1971_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1971_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1972_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1972_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1973_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1973_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1974_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1974_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1975_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1975_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1976_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1976_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1977_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1977_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1978_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1978_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1979_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1979_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1980_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1980_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1981_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1981_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1982_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1982_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1983_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1983_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1984_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1984_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1985_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1985_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1986_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1986_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1987_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1987_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1988_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1988_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1989_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1989_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1990_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1990_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1991_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1991_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1992_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1992_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1993_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1993_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1994_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1994_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1995_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1995_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1996_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1996_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1997_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1997_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1998_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1998_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_1999_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_1999_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2000_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2000_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2001_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2001_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2002_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2002_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2003_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2003_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_a6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_a6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2004_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2004_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_a1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_a2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_a2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_a3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_a3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_a4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_a4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_a5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_a5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_b1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_b1.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_b2.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_b2.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_b3.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_b3.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_b4.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_b4.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_b5.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_b5.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2005_b6.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2005_b6.thy


--------------------------------------------------------------------------------
/isabelle/putnam_2006_a1.thy:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/isabelle/putnam_2006_a1.thy


--------------------------------------------------------------------------------
/lean4/LICENSE:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/lean4/LICENSE


--------------------------------------------------------------------------------
/lean4/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/lean4/README.md


--------------------------------------------------------------------------------
/lean4/lake-manifest.json:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/lean4/lake-manifest.json


--------------------------------------------------------------------------------
/lean4/lakefile.lean:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/trishullab/PutnamBench/HEAD/lean4/lakefile.lean


--------------------------------------------------------------------------------
/lean4/lean-toolchain:
--------------------------------------------------------------------------------
1 | leanprover/lean4:v4.22.0


--------------------------------------------------------------------------------