dselsam / lean4

Lean4 work in progress repo

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
Theorem Proving Tutorial
Manual
FAQ

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

About

Lean4 work in progress repo

Apache License 2.0

Languages

Language:Lean 77.5%Language:C++ 19.3%Language:Emacs Lisp 1.0%Language:CMake 0.5%Language:Nix 0.4%Language:Python 0.3%Language:Shell 0.2%Language:Swift 0.2%Language:Haskell 0.2%Language:Standard ML 0.1%Language:OCaml 0.1%Language:Makefile 0.1%Language:C 0.0%