Home Explore Help
Register Sign In
LinusTuring
/
lean4
mirror of https://github.com/leanprover/lean4.git
Watch 1
Star 0
Fork 0
Files Issues 0 Wiki

Lean 4 programming language and theorem prover https://leanprover.github.io/

Branch: master
Branches Tags
lean4
ZIP TAR.GZ
Leonardo de Moura e362b50fa9 feat: add `seal` and `unseal` commands (#4053) 1 day ago
.github 092ca8530a chore: CI: disable large runner again 2 days ago
doc 2db602c209 doc: layout algorithm (#3915) 1 day 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) 2 days ago
script 74adb0961c chore: add ./script/rebase-stage0.sh (#3984) 2 days ago
src e362b50fa9 feat: add `seal` and `unseal` commands (#4053) 1 day ago
stage0 7294646eb9 chore: update stage0 6 days ago
tests e362b50fa9 feat: add `seal` and `unseal` commands (#4053) 1 day 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

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).