Prose as Code: Applying Formal Verification to Product Specs

 (alexanderabramovich.medium.com)

7 points | by happyalexander 3 hours ago

0 comments