About the Course

Verified systems programming connects executable implementations with precise specifications and machine-checked proofs. In this course, we will explore that connection with the help of proof agents.

The course website repository contains these notes. The main course artifact will be developed in a separate repository, with its own build and verification workflow.