News for hackers. Stuff that matters.

A comment on Solving some formal math olympiad problems. Parent comment

Re:Solving some formal math olympiad problems by dwrensha on Thursday February 03, 2022 @09:21AM (#30192719)
Is Z3 able to produce proofs for these problems? Or does it only say "unsat" and you need to trust it?
[ Parent | on HN ]

There are no comments on this comment yet.