Mon 2/1 Room WVH166 10:00-12:00 Jed - Proof walkthrough with Coq Tomorrow, Jed will give us a demonstration of a proof using the Coq proof assistant. This will be in WVH166, the seminar's new home for the rest of the semester. See you there, Vincent