Stefano M. Nicoletti

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.

Prossime lezioni

Materiali per lezione

Lezione 1Lezione 1: Che cos'è un interactive theorem prover?Apri i materialiLezione 2Lezione 2: Proposizioni, dimostrazioni e regole logicheApri i materialiLezione 3Lezione 3: Dalla deduzione naturale alle dimostrazioni in LeanApri i materialiLezione 4Lezione 4: Logica classica e quantificatoriApri i materiali