LemmaScript: A Verification Toolchain for TypeScript via Dafny | Dark Hacker News