Prose as Code: Applying Formal Verification to Product Specs

(alexanderabramovich.medium.com)

8 points | by happyalexander 15 hours ago ago

No comments yet.