Hacker News new | ask | show | jobs
From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
5 points by namin 178 days ago