PRL Seminar for Today (5/11)

Recent Work with Coq

Presented by Mark Reitblatt