C++ Lean CMake C Shell Python Other
Clone or download
Failed to load latest commit information.
.github chore(.github/CONTRIBUTING): fix typos and URLs Oct 30, 2017
bin chore(bin/lean-gdb): add pretty printer for lean::level Nov 30, 2017
doc chore(*): release version 3.4.1 Apr 28, 2018
extras/latex chore(extras/depgraph): remove leandeps Jul 15, 2017
images chore(CMakeLists.txt): move Lean logo to make sure we can test leanem… Feb 1, 2015
leanpkg chore(leanpkg/lean_version): recognize nightlies as releases separate… Mar 20, 2018
library fix(library/init/data/list/basic): list.lt Jun 21, 2018
packages chore(script/test_registry): Replace with leanpkg. Execute in every a… Dec 20, 2017
script chore(script/deploy_nightly): show git log Mar 29, 2018
src chore(src/CMakeLists): prepare for next release May 18, 2018
tests fix(library/init/data/list/basic): list.lt Jun 21, 2018
tmp chore(tmp/lean4.md): moved to google docs Mar 21, 2018
.appveyor.yml chore(.appveyor.yml): fix non-nightly builds Apr 16, 2018
.clang-format feat(library/vm/process): add basic process support Mar 29, 2017
.codecov.yml fix(.codecov.yml): do not fail github ci if coverage drops by 0.01% Jun 25, 2017
.gitattributes chore(.gitattributes): use `union` merge strategy for doc/changes.md Dec 11, 2017
.gitignore doc(msvc): add instructions on how to get Intellisense working Feb 6, 2018
.travis.yml chore(.travis.yml): trigger AppVeyor nightly build from Travis Apr 13, 2018
LICENSE Add LICENSE file Jul 16, 2013
README.md chore(README): update README Apr 30, 2018



LicenseWindowsLinux / macOSTest CoverageChat
Codecov Join the Zulip chat


  • Homepage
  • Theorem Proving in Lean
  • Change Log
  • FAQ
  • Important: Lean 3.4.1 is the latest release. It is also the last release for the Lean 3.x code base. Only major bugs (e.g., soundness) will be fixed for this code base from now on. We are currently developing Lean 4 in a new (private) repository. The Lean 4 source code will be released here when ready. The main goals for Lean 4 are described here.
  • For HoTT mode, please use Lean2.


Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.