Computer Scientists Combine Two 'Beautiful' Proof Methods

Ben Brubaker, Quanta

How do you prove something is true? For mathematicians, the answer is simple: Start with some basic assumptions and proceed, step by step, to the conclusion. QED, proof...