Report copyright - Proving Without Explaining, and Checking Without Understanding Scott Aaronson (MIT) Symposium on Proof, UPenn, Nov. 9, 2012 Looks good to me!
Please pass captcha verification before submit form
Please pass captcha verification before submit form