Open Issues Need Help
View All on GitHub Support JavaScript semantics for numbers (behind an option) about 7 hours ago
good first issue
verification toolchain for TypeScript (Tech Preview)
TypeScript
#ai#dafny#lean#lean4#lemmascript#llm#typescript#verification