Mechanizing Proof door Donald A. MacKenzie & Donald MacKenzie