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

2 pointsposted 17 hours ago
by Ariarule
(twitter.com)

No comments yet