3 ms·"About a decade ago... I developed an automated theorem-proving framework"2 points by Ariarule 9mo ago