You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Current »

PRL Seminar for Today (5/11)

Recent Work with Coq

Presented by Mark Reitblatt

  • Friday Noon-1:00PM
  • Meet in Upson 215
  • No labels