├── .github └── workflows │ └── CI.yml ├── .gitignore ├── .gitmodules ├── Do.lean ├── Do ├── Basic.lean ├── For.lean ├── Formal.lean ├── LazyList.lean ├── Mut.lean └── Return.lean ├── Makefile ├── README.md ├── doc ├── SUMMARY.md ├── book.toml └── intro.md ├── gh-survey ├── .gitignore ├── clone-all └── find-do ├── lake-manifest.json ├── lakefile.toml ├── lean-toolchain └── lean_packages └── manifest.json /.github/workflows/CI.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/.github/workflows/CI.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | /lean_packages 3 | Do/*.html 4 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/.gitmodules -------------------------------------------------------------------------------- /Do.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do.lean -------------------------------------------------------------------------------- /Do/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do/Basic.lean -------------------------------------------------------------------------------- /Do/For.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do/For.lean -------------------------------------------------------------------------------- /Do/Formal.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do/Formal.lean -------------------------------------------------------------------------------- /Do/LazyList.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do/LazyList.lean -------------------------------------------------------------------------------- /Do/Mut.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do/Mut.lean -------------------------------------------------------------------------------- /Do/Return.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Do/Return.lean -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/README.md -------------------------------------------------------------------------------- /doc/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/doc/SUMMARY.md -------------------------------------------------------------------------------- /doc/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/doc/book.toml -------------------------------------------------------------------------------- /doc/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/doc/intro.md -------------------------------------------------------------------------------- /gh-survey/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | -------------------------------------------------------------------------------- /gh-survey/clone-all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/gh-survey/clone-all -------------------------------------------------------------------------------- /gh-survey/find-do: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/gh-survey/find-do -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/lakefile.toml -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.15.0 2 | -------------------------------------------------------------------------------- /lean_packages/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Kha/do-supplement/HEAD/lean_packages/manifest.json --------------------------------------------------------------------------------