Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

(github.com)

5 points | by namin 5 hours ago ago

No comments yet.