logoalt Hacker News

Prose as Code: Applying Formal Verification to Product Specs

4 points • by happyalexander • today at 9:31 AM • 0 comments • view on HN

Comments