"About a decade ago... I developed an automated theorem-proving framework"twitter.com2 points·Ariarule··0 commentsOpen articleSaveView on HN