Prose as Code: Applying Formal Verification to Product Specs

 (alexanderabramovich.medium.com)

8 points | by happyalexander  2 days ago

No comments yet.