Quick Start for Lean 1.09 

Pens