This is the repository for Lean 4.

• Quickstart
• Homepage
• Theorem Proving Tutorial
• Functional Programming in Lean
• Documentation Overview
• Language Reference
• Release notes starting at v4.0.0-m3
• Examples
• External Contribution Guidelines

See Install Lean.

Please read our Contribution Guidelines first.

See Building Lean.