Introduction to Lean

This is the intro to lean class