Pollack, R. How to Believe a Machine-Checked Proof. BRICS 1997, 4.