Machine Proof-Testing