lemmascript

midspiral
esm
lemmascript JS library homepage lemmascript JS library on GitHub lemmascript JS library on npm Download lemmascript JS library

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS

Version 0.6.1 License MIT
lemmascript JS library homepage
lemmascript JS library on GitHub
lemmascript JS library on npm
Download lemmascript JS library
Keywords
lemmascriptverificationformal-verificationverifiedtypescriptlean4dafnyformal-methods
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN