Pollack, Robert. 1997. “How to Believe a Machine-Checked Proof”. BRICS Report Series 4 (18). https://doi.org/10.7146/brics.v4i18.18945.