This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

About

Lean 4 programming language and theorem prover

https://leanprover.github.io/

Apache License 2.0

Languages

Language:Lean 81.4%Language:C++ 16.6%Language:CMake 0.5%Language:Nix 0.3%Language:Python 0.2%Language:Shell 0.2%Language:Swift 0.2%Language:OCaml 0.2%Language:Standard ML 0.2%Language:Haskell 0.1%Language:Makefile 0.1%Language:C 0.0%