Welcome to CMSC 818C

These notes will document the ideas, techniques, and reasoning behind the course's main artifact. They will grow alongside the course.

This sample post demonstrates the blog format: each lecture or update can have its own title, date, and page. The course artifact's implementation and proofs will be maintained in a separate repository, while these posts provide explanations and context.