Hacker news
Top
New
Past
Ask
Show
Jobs
Prose as Code: Applying Formal Verification to Product Specs
(https://alexanderabramovich.medium.com)
8 points by
happyalexander
2 days ago | 0 comments |
View on ycombinator