Course Websites

Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: May be repeated in the same or separate terms if topics vary.

Build your own Proof Assistant. Description: Proof assistants like Rocq, Lean, and Isabelle make it possible to write machine-checked proofs about software and mathematics interactively, with the help of automation. In this class, we will work together to build a proof assistant from scratch as a class, learning about every piece from the foundations to the user experience as we build. Prerequisite: CS 421 or research experience in PL/FM/SE. For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/csregister