Robbing the bank with a theorem prover (2005) [pdf]cl.cam.ac.uk2 points·kyboren··1 commentOpen articleSaveView on HN