Reasoning, Proof, and Formalization with Lean 4

A Gentle Introduction to Lean for Beginners

Choose the language for the course materials.