Hacker News new | ask | show | jobs
What is the current and accepted definition of formally proved software?
2 points by cauterize 291 days ago
1 comments
sunscream89 291 days ago
Production
link