Robbing the bank with a theorem prover (2005) [pdf]https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-644.pdf by kyboren • 2 years ago 2 1 2 years agoCLcl.cam.ac.uk