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 @03:17PM (#26347660)
Why not all of those? Genuine question. Sorry, my knowledge of this topic is very limited.
[ Parent | on HN ]

There are no comments on this comment yet.