General Information

Instructor:

John Reppy

jhr@cs.uchicago.edu.

Lectures:

MW 03:00-04:20

Ryerson 277

Course Description

The focus of this seminar will be on the Lean 4 Proof Assistent. I hope to work though The Hitchhiker’s Guide to Logical Verification. The sources and exercises for the book can be found here.

Other Resources