2 ms·From Probable to Provable: What Automated Reasoning Means for the Board1 points by baruchel 5mo ago