LemmaScript: A Verification Toolchain for TypeScript via Dafny (by namin) — discussion
#formalmethods
