Prose as Code: Applying Formal Verification to Product Specs

8 pointsposted 14 hours ago
by happyalexander
(alexanderabramovich.medium.com)

No comments yet