leodemoura / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

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://lean-lang.org

Apache License 2.0

Languages

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