Univalent Foundations Seminar
State of the New Proof Assistant
Date & Time
January 17, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Daniel Grayson
Affiliation
University of Illinois at Urbana-Champaign; Member, School of Mathematics