Submission by user

‟Make formal verification and provably correct software practical and mainstream „
Permalink: https://news.ycombinator.com/item?id=31543953

Upvotes/Comments/Ranking Chart