General Information

Instructor:

John Reppy

jhr@cs.uchicago.edu.

Lectures:

MW 04:30-05:50

Ryerson 178

Course Description

The focus of this seminar will be on "Small-Scale Reflection" (Ssreflect) in Coq I hope to work though Ilya Sergey’s Programs and Proofs online book. The sources for the book can be found on GitHub here.