happyalexander

↗ HN profile [ 14.0 ms ] full profile

Karma: 0
Created: ()
Submissions: 0

Prose as Code: Applying Formal Verification to Product Specs (alexanderabramovich.medium.com)

1 points 5d ago 0
Denavigation: The End of Apps and the Verification Bottleneck (alexanderabramovich.medium.com)

1 points 22d ago 0