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: 1 to 4 undergraduate hours. 1 to 4 graduate hours. May be repeated in the same or separate terms if topics vary.

We will learn how to use a proof assistant to formally reason about logic and programming languages, following the Software Foundations book series. Prerequisites: Any one of: (1) CS 421, (2) experience with at least one functional programming language, or (3) any higher-level proof-based math class.