Interactive Theorem Proving with Lean

Hands-on introduction to formal verification and computer-assisted proof development using the Lean theorem prover.

Sections Taught