Prose as Code: Applying Formal Verification to Product Specs | Dark Hacker News