singpolyma tweeted, “CS240 assignment is evil. 10 formal proofs and as many additional analysis. #uwaterloo http://sngpl.ma/t45q3” @ 2010-140 16:27 UTC Leave a Response Name Email Website Comment Authenticate this comment using OpenID. Get replies via e-mail