LemmaScript: A Verification Toolchain for TypeScript via Dafny

 (midspiral.com)

3 points | by namin 3 hours ago

0 comments