"About a decade ago I developed an automated theorem-proving framework"

(twitter.com) by Ariarule | Jan 11, 2026 | 0 comments on HN