This repository contains the course material for CMSC 838E: Verified Compilers, taught at the University of Maryland, College Park.
The Spring 2026 instance of this course is:
Copyright © 2026 David Van Horn
Licensed under the Academic Free License version 3.0