lemmascript
midspiral esm
A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS
Version 0.5.20 License MIT
Keywords
lemmascriptverificationformal-verificationverifiedtypescriptlean4dafnyformal-methods
INSTALL
Requests 0
Bandwidth 0
Top version - 0
Full lemmascript Download Stats 
ShareKeywords
lemmascript
verification
formal-verification
verified
typescript
lean4
dafny
formal-methods
Get a badge for your package
