Chapter 8. Checking Proofs; Jesse Alama and Reinhard Kahle -- Part III. Mathematics as a