News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by wolfgke on Tuesday April 07, 2020 @09:15AM (#22802887)
With formal inductive proofs, you can reason, but not decide.
[ Parent | on HN ]

There are no comments on this comment yet.