Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects. (pp. 1363)
Thomas Hales
(pp. 1370)
Formal Proof--The Four-Color Theorem Georges Gonthier