├── .gitignore ├── AoC.lean ├── AoC ├── AoC_2015 │ ├── day1.lean │ ├── day2.lean │ ├── day3.lean │ ├── day5.lean │ └── day6.lean ├── AoC_2017 │ ├── day1.lean │ ├── day2.lean │ ├── day4.lean │ └── day5.lean ├── AoC_2018 │ ├── day1.lean │ ├── day2.lean │ ├── day3.lean │ ├── day5.lean │ └── day6.lean ├── AoC_2019 │ └── day1.lean ├── AoC_2020 │ ├── day1.lean │ ├── day2.lean │ └── day3.lean ├── AoC_2021 │ ├── day1.lean │ └── day2.lean └── Basic.lean ├── Fad.lean ├── Fad ├── Basic.lean ├── Chapter1-Ex.lean ├── Chapter1.lean ├── Chapter12-Ex.lean ├── Chapter12.lean ├── Chapter2-Ex.lean ├── Chapter2.lean ├── Chapter3-Ex.lean ├── Chapter3.lean ├── Chapter4-Ex.lean ├── Chapter4.lean ├── Chapter5-Ex.lean ├── Chapter5.lean ├── Chapter6.lean ├── Chapter7-Ex.lean ├── Chapter7.lean ├── Chapter8-Ex.lean ├── Chapter8.lean ├── Chapter9-Ex.lean └── Chapter9.lean ├── Main.lean ├── README.md ├── data ├── AoC2015_day1.txt ├── AoC2015_day2.txt ├── AoC2015_day3.txt ├── AoC2015_day5.txt ├── AoC2015_day6.txt ├── AoC2017_day1.txt ├── AoC2017_day2.txt ├── AoC2017_day4.txt ├── AoC2017_day5.txt ├── AoC2018_day1.txt ├── AoC2018_day2.txt ├── AoC2018_day3.txt ├── AoC2018_day5.txt ├── AoC2018_day6.txt ├── AoC2019_day1.txt ├── AoC2020_day1.txt ├── AoC2020_day2.txt ├── AoC2020_day3.txt ├── AoC2021_day1.txt └── AoC2021_day2.txt ├── lake-manifest.json ├── lakefile.lean └── lean-toolchain /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | **/.DS_Store -------------------------------------------------------------------------------- /AoC.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC.lean -------------------------------------------------------------------------------- /AoC/AoC_2015/day1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2015/day1.lean -------------------------------------------------------------------------------- /AoC/AoC_2015/day2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2015/day2.lean -------------------------------------------------------------------------------- /AoC/AoC_2015/day3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2015/day3.lean -------------------------------------------------------------------------------- /AoC/AoC_2015/day5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2015/day5.lean -------------------------------------------------------------------------------- /AoC/AoC_2015/day6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2015/day6.lean -------------------------------------------------------------------------------- /AoC/AoC_2017/day1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2017/day1.lean -------------------------------------------------------------------------------- /AoC/AoC_2017/day2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2017/day2.lean -------------------------------------------------------------------------------- /AoC/AoC_2017/day4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2017/day4.lean -------------------------------------------------------------------------------- /AoC/AoC_2017/day5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2017/day5.lean -------------------------------------------------------------------------------- /AoC/AoC_2018/day1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2018/day1.lean -------------------------------------------------------------------------------- /AoC/AoC_2018/day2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2018/day2.lean -------------------------------------------------------------------------------- /AoC/AoC_2018/day3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2018/day3.lean -------------------------------------------------------------------------------- /AoC/AoC_2018/day5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2018/day5.lean -------------------------------------------------------------------------------- /AoC/AoC_2018/day6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2018/day6.lean -------------------------------------------------------------------------------- /AoC/AoC_2019/day1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2019/day1.lean -------------------------------------------------------------------------------- /AoC/AoC_2020/day1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2020/day1.lean -------------------------------------------------------------------------------- /AoC/AoC_2020/day2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2020/day2.lean -------------------------------------------------------------------------------- /AoC/AoC_2020/day3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2020/day3.lean -------------------------------------------------------------------------------- /AoC/AoC_2021/day1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2021/day1.lean -------------------------------------------------------------------------------- /AoC/AoC_2021/day2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/AoC/AoC_2021/day2.lean -------------------------------------------------------------------------------- /AoC/Basic.lean: -------------------------------------------------------------------------------- 1 | 2 | /- to utitilites -/ 3 | -------------------------------------------------------------------------------- /Fad.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad.lean -------------------------------------------------------------------------------- /Fad/Basic.lean: -------------------------------------------------------------------------------- 1 | 2 | /- basic definitions can be copied here -/ 3 | 4 | 5 | 6 | -------------------------------------------------------------------------------- /Fad/Chapter1-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter1-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter1.lean -------------------------------------------------------------------------------- /Fad/Chapter12-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter12-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter12.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter12.lean -------------------------------------------------------------------------------- /Fad/Chapter2-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter2-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter2.lean -------------------------------------------------------------------------------- /Fad/Chapter3-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter3-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter3.lean -------------------------------------------------------------------------------- /Fad/Chapter4-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter4-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter4.lean -------------------------------------------------------------------------------- /Fad/Chapter5-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter5-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter5.lean -------------------------------------------------------------------------------- /Fad/Chapter6.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter6.lean -------------------------------------------------------------------------------- /Fad/Chapter7-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter7-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter7.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter7.lean -------------------------------------------------------------------------------- /Fad/Chapter8-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter8-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter8.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter8.lean -------------------------------------------------------------------------------- /Fad/Chapter9-Ex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter9-Ex.lean -------------------------------------------------------------------------------- /Fad/Chapter9.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Fad/Chapter9.lean -------------------------------------------------------------------------------- /Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/Main.lean -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/README.md -------------------------------------------------------------------------------- /data/AoC2015_day1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2015_day1.txt -------------------------------------------------------------------------------- /data/AoC2015_day2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2015_day2.txt -------------------------------------------------------------------------------- /data/AoC2015_day3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2015_day3.txt -------------------------------------------------------------------------------- /data/AoC2015_day5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2015_day5.txt -------------------------------------------------------------------------------- /data/AoC2015_day6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2015_day6.txt -------------------------------------------------------------------------------- /data/AoC2017_day1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2017_day1.txt -------------------------------------------------------------------------------- /data/AoC2017_day2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2017_day2.txt -------------------------------------------------------------------------------- /data/AoC2017_day4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2017_day4.txt -------------------------------------------------------------------------------- /data/AoC2017_day5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2017_day5.txt -------------------------------------------------------------------------------- /data/AoC2018_day1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2018_day1.txt -------------------------------------------------------------------------------- /data/AoC2018_day2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2018_day2.txt -------------------------------------------------------------------------------- /data/AoC2018_day3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2018_day3.txt -------------------------------------------------------------------------------- /data/AoC2018_day5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2018_day5.txt -------------------------------------------------------------------------------- /data/AoC2018_day6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2018_day6.txt -------------------------------------------------------------------------------- /data/AoC2019_day1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2019_day1.txt -------------------------------------------------------------------------------- /data/AoC2020_day1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2020_day1.txt -------------------------------------------------------------------------------- /data/AoC2020_day2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2020_day2.txt -------------------------------------------------------------------------------- /data/AoC2020_day3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2020_day3.txt -------------------------------------------------------------------------------- /data/AoC2021_day1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2021_day1.txt -------------------------------------------------------------------------------- /data/AoC2021_day2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/data/AoC2021_day2.txt -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emap-20242-ed/fad/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.15.0-rc1 2 | --------------------------------------------------------------------------------