News for hackers. Stuff that matters.

A comment on An automatic theorem proving project. Parent comment

Re:An automatic theorem proving project by practal on Thursday April 28, 2022 @09:09AM (#31192005)
We share this objective! I am sharing my thoughts on that here: https://practal.com
[ Parent | on HN ]

There are no comments on this comment yet.