Lean 4 programming language and theorem prover https://leanprover.github.io/
Leonardo de Moura e362b50fa9 feat: add `seal` and `unseal` commands (#4053) | 2 days ago | |
---|---|---|
.github | 092ca8530a chore: CI: disable large runner again | 3 days ago |
doc | 2db602c209 doc: layout algorithm (#3915) | 2 days ago |
images | 27741e4fd7 chore(CMakeLists.txt): move Lean logo to make sure we can test leanemacs without installing Lean | 9 years ago |
nix | 74adb0961c chore: add ./script/rebase-stage0.sh (#3984) | 3 days ago |
script | 74adb0961c chore: add ./script/rebase-stage0.sh (#3984) | 3 days ago |
src | e362b50fa9 feat: add `seal` and `unseal` commands (#4053) | 2 days ago |
stage0 | 7294646eb9 chore: update stage0 | 6 days ago |
tests | e362b50fa9 feat: add `seal` and `unseal` commands (#4053) | 2 days ago |
.gitattributes | 09b9fdbdc3 chore: Do not hide stage0/src/stdlib_flags.h from diffs | 7 months ago |
.gitignore | 4ec3d78afa chore: update tests to account for `.lake` | 5 months ago |
.ignore | d5b3430e53 chore: ignore stage0/ (for `rg` etc.) | 2 years ago |
CMakeLists.txt | 485baa1b8c chore: `update-stage0-commit` cmake target (#3692) | 1 month ago |
CODEOWNERS | 22a581f38d chore: update code owners | 1 week ago |
CONTRIBUTING.md | fbefbce8c7 doc: Adjust contributor's docs to squash merging (#2927) | 5 months ago |
LICENSE | abef59ddbb chore: remove LICENSE header that confused GitHub | 2 years ago |
LICENSES | fee052ceb9 chore: add GMP license for now | 2 years ago |
README.md | 5f727699b0 doc: mention build doc source location (#4045) | 3 days ago |
RELEASES.md | 51abb0d4c7 chore: begin development cycle for v4.9.0 (#4058) | 2 days ago |
flake.lock | 16fdca1cbd chore: test results as job summary (#3715) | 1 month ago |
flake.nix | 2867b93d51 chore: replace shell.nix with a devShell in flake.nix (#3717) | 1 month ago |
lean-toolchain | 3a0edd05e6 doc: VS Code dev setup (#2961) | 5 months ago |
lean.code-workspace | d279a4871f chore: add the lean4 extension to the vscode workspace (#3059) | 4 months ago |
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).