Interactive Theorem Proving with Lean

Math 490/587

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

Sections Taught