LemmaScript: A Verification Toolchain for TypeScript via Dafny(midspiral.com)
midspiral.com
LemmaScript: A Verification Toolchain for TypeScript via Dafny
https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/
0 comments
—
https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/
—