Reasoning, Proof, and Formalization with Lean 4

A Gentle Introduction to Lean for Beginners

Lecture notes, Lean classroom files, exercises, and solutions.