TScert
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
About
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
Languages
Contributors1
No features listed.
Comments Theme
Platforms
Interface
Web
Install
npm
Build from source
