Need help with lean4?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

753 Stars 51 Forks Apache License 2.0 24.6K Commits 47 Opened issues


Lean 4 programming language and theorem prover

Services available


Need anything else?

Contributors list

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.



See Setting Up Lean.


Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.