Discussion Ask HN: Is formal verification of practical use in real world projects? 5 points akkad33 10 months ago 4 comments
