Prose as Code: Applying Formal Verification to Product Specs

3 points | by happyalexander an hour ago

No comments yet