The Lean Reference Manual

The latest version of the Lean reference manual is available here.