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
Kim Morrison fb135b8cfe fix: improve `isDefEqProj` (#3977) 2 days ago
.github f40c51f346 chore: prevent stage0 changes via the merge queue (#3971) 2 days ago
doc 4f664fb3b5 feat: improve @[deprecated] attr (#3968) 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 16fdca1cbd chore: test results as job summary (#3715) 4 weeks ago
script 2dcd42f395 feat: trace.profiler export to Firefox Profiler (#3801) 1 week ago
src fb135b8cfe fix: improve `isDefEqProj` (#3977) 2 days ago
stage0 291bb84c97 chore: update stage0 6 days ago
tests fb135b8cfe fix: improve `isDefEqProj` (#3977) 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) 3 weeks ago
CODEOWNERS 864221d433 chore: rename fields of Subarray to follow Lean conventions (#3851) 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 9fb44fae29 doc: remove nightly and other outdated references (#3027) 3 months ago
RELEASES.md b6d77be6a5 feat: show diffs when #guard_msgs fails (#3912) 1 week ago
flake.lock 16fdca1cbd chore: test results as job summary (#3715) 4 weeks 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) 4 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.