Have automated theorem provers proved anything we didn't already know?math.stackexchange.com2 points·shamp00··0 commentsOpen articleSaveView on HN