Alkemet News
Prose as Code: Applying Formal Verification to Product Specs
(alexanderabramovich.medium.com)
8
points
byhappyalexander
a day ago |
0
comments