Prose as Code: Applying Formal Verification to Product Specs

Posted by happyalexander 1 day ago

8 points | 0 comments