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.
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.