├── .github └── workflows │ └── ci.yaml ├── .gitignore ├── LICENSE ├── README.md ├── TryAtEachStepTest ├── Conv.lean ├── MVars.lean └── Simple.lean ├── lake-manifest.json ├── lakefile.toml ├── lean-toolchain ├── tryAtEachStep.lean └── tryAtEachStepInDirectory.lean /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake 2 | /tryAtEachStep-out -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/README.md -------------------------------------------------------------------------------- /TryAtEachStepTest/Conv.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/TryAtEachStepTest/Conv.lean -------------------------------------------------------------------------------- /TryAtEachStepTest/MVars.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/TryAtEachStepTest/MVars.lean -------------------------------------------------------------------------------- /TryAtEachStepTest/Simple.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/TryAtEachStepTest/Simple.lean -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/lakefile.toml -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.26.0-rc1 -------------------------------------------------------------------------------- /tryAtEachStep.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/tryAtEachStep.lean -------------------------------------------------------------------------------- /tryAtEachStepInDirectory.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dwrensha/tryAtEachStep/HEAD/tryAtEachStepInDirectory.lean --------------------------------------------------------------------------------