I ivan-gavran.github.io The Case Against Formal Verification, 50 Years Later 95 points ghuntley 2 months ago 121 comments
