Hacker News new | ask | show | jobs
From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)
1 points by baruchel 43 days ago