News for hackers. Stuff that matters.

A comment on Ask HN: Why aren't we building a database of formally verified software?. Parent comment

Re:Ask HN: Why aren't we building a database of formally ver... by cloogshicer on Thursday March 04, 2021 @04:54PM (#26348952)
Thanks for the explanation!
[ Parent | on HN ]

There are no comments on this comment yet.