New ask Hacker News story: Ask HN: Why aren't we building a database of formally verified software?

Ask HN: Why aren't we building a database of formally verified software?
5 by cloogshicer | 5 comments on Hacker News.