News for hackers. Stuff that matters.

A comment on Getting Past C. Parent comment

Re:Getting Past C by qznc on Tuesday January 03, 2017 @05:05PM (#13313576)
That would be a theorem prover like Isabelle or Coq. It is orders of magnitude more work.
[ Parent | on HN ]

There are no comments on this comment yet.