2 points, 0 comments on Hacker News

Source: [Hacker News](https://alexanderabramovich.medium.com/prose-as-code-applying-formal-verification-to-product-specs-14f04fee8f2d)

Sponsored