LemmaScript: A Verification Toolchain for TypeScript via Dafny

(midspiral.com)

3 points | by namin 11 hours ago ago