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

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

Description

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.

About

Installation

See Setting Up Lean.

Contributing

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.