Hacker News new | ask | show | jobs
Top 10 Proof Techniques Not Allowed in 6.042 (2010) [pdf] (ocw.mit.edu)
3 points by iprateek 3865 days ago