"About a decade ago... I developed an automated theorem-proving framework"twitter.com·2 pts·Ariarule·0