TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
TypeScript Updated 8 days ago 1 commits 85 stars
pulse-dev|Mirror: cristianoc/TScert (⭐85)
8 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
Readme
85 stars
3 forks