Interested in proofs and proving? Read Social Processes and Proofs of Theorems and Programs by Richard A. De Millo (Georgia Institute of Technology) and Richa

Interested in proofs and proving? Read Social Processes and Proofs of Theorems and Programs by Richard A. De Millo (Georgia Institute of Technology) and Richard J. Lipton and Alan J. Perlis (Yale University) given at POPL3. https://ucsd-pl.github.io/cse-130-230/fa18/papers/demillo-social-processes.ipdf https://ucsd-pl.github.io/cse-130-230/fa18/papers/demillo-so... The peer review process often seems to fail when proofs are involved--reviewers often skip over the proofs because reading and checking is hard work.