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