What is Lean
Tour of Lean
Setting Up Lean
❱
1. Extended Setup Notes
Theorem Proving in Lean
Functional Programming in Lean
Examples
❱
Language Manual
Organizational features
❱
Syntax Extensions
❱
Declaring New Types
❱
Builtin Types
❱
Functions
Monads
❱
Other
Frequently Asked Questions
Significant Changes from Lean 3
Syntax Highlighting Lean in LaTeX
User Widgets
Semantic Highlighting
Development
Development Guide
Building Lean
❱
Bootstrapping
Testing
Debugging
Commit Convention
Release checklist
Building This Manual
Foreign Function Interface

Lean Manual

Theorem Proving in Lean

We strongly encourage you to read the book Theorem Proving in Lean. Many Lean users consider it to be the Lean Bible.