Reasoning, Proof, and Formalization with Lean 4

A Gentle Introduction to Lean for Beginners

Lecture notes, slide, file Lean per la lezione in classe, esercizi e soluzioni.