*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
-
Created by
Jim Entwood, last updated on May 11, 2012
1 minute read
PRL Seminar for Today (5/11)
Recent Work with Coq
Presented by Mark Reitblatt
- Friday Noon-1:00PM
- Meet in Upson 215