midspiral

midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

2 good first / help-wanted issues · TypeScript · last activity Aug 23, 2026

83 stars 7 forks 83 watchers TypeScript MIT License
ai dafny lean lean4 lemmascript llm typescript verification
View on GitHub Website
2 Open Issues Need Help Last updated: Aug 23, 2026

Open Issues Need Help

View All on GitHub
Support JavaScript semantics for numbers (behind an option) 18 days ago
good first issue
midspiral/LemmaScript
83

verification toolchain for TypeScript (Tech Preview)

TypeScript
#ai#dafny#lean#lean4#lemmascript#llm#typescript#verification
Align Dafny string semantics with JavaScript UTF-16 strings about 2 months ago
good first issue
midspiral/LemmaScript
83

verification toolchain for TypeScript (Tech Preview)

TypeScript
#ai#dafny#lean#lean4#lemmascript#llm#typescript#verification