Hacker News new | ask | show | jobs
Have automated theorem provers proved anything we didn't already know? (math.stackexchange.com)
2 points by shamp00 5063 days ago