*** 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 04, 2012
1 minute read
There will be no PRL Seminar today.
Join us next week (5/11/12) for Mark Reitblatt's presentation of his recent work in Coq.