WojciechKarpiel / lean4

Lean 4 programming language and theorem prover

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

Homepage
Manual
FAQ

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

Apache License 2.0

Languages

Language:Lean 74.0%Language:C++ 22.8%Language:Emacs Lisp 1.1%Language:CMake 0.6%Language:Nix 0.3%Language:Python 0.3%Language:Swift 0.2%Language:Haskell 0.2%Language:Shell 0.2%Language:Standard ML 0.2%Language:OCaml 0.2%Language:Makefile 0.1%Language:C 0.0%Language:Lua 0.0%