Index
The Lean Reference Manual
1. Using Lean
2. Lexical Structure
3. Expressions
4. Declarations
5. Other Commands
6. Tactics
7. Programming
8. Metaprogramming
9. Libraries
PDF version
Lean Home
Quick search