3 ms·Automated theorem provers running on a $5k piece of hardware is a cool version of the futureby piyh 7mo agoAutomated theorem provers running on a $5k piece of hardware is a cool version of the future