News for hackers. Stuff that matters.

A comment on An automatic theorem proving project. Parent comment

Re:An automatic theorem proving project by auggierose on Thursday April 28, 2022 @10:59AM (#31193272)
No, it won't be.
[ Parent | on HN ]

There are no comments on this comment yet.