From Intent to Proof: Dafny Verification for Web Apps (via nextos) — discussion

#formalmethods