[PL-sem-jr] Talk tomorrow, Mon 2/1

Vincent St-Amour stamourv at ccs.neu.edu
Sun Jan 31 19:30:49 EST 2010

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

See you there,


More information about the Pl-sem-jr mailing list