Hacker News new | ask | show | jobs
by piyh 87 days ago
Automated theorem provers running on a $5k piece of hardware is a cool version of the future