├── .github └── workflows │ └── build.yml ├── .gitignore ├── Cli.lean ├── Cli ├── Basic.lean └── Extensions.lean ├── CliTest ├── Example.lean └── Tests.lean ├── LICENSE ├── README.md ├── lake-manifest.json ├── lakefile.toml └── lean-toolchain /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake -------------------------------------------------------------------------------- /Cli.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/Cli.lean -------------------------------------------------------------------------------- /Cli/Basic.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/Cli/Basic.lean -------------------------------------------------------------------------------- /Cli/Extensions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/Cli/Extensions.lean -------------------------------------------------------------------------------- /CliTest/Example.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/CliTest/Example.lean -------------------------------------------------------------------------------- /CliTest/Tests.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/CliTest/Tests.lean -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/README.md -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/lean4-cli/HEAD/lakefile.toml -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.26.0-rc2 2 | --------------------------------------------------------------------------------