State of the New Proof Assistant Date January 17, 2013 Speakers Daniel Grayson Affiliation University of Illinois at Urbana-Champaign; Member, School of Mathematics School of Mathematics Univalent