TScert: A Sound Core for TypeScript
16 points by bpierre
TScert is an independent checker designed for TypeScript that ensures soundness through formal proofs in Lean. It requires a proof for each TypeScript function, enhancing the reliability of TypeScript code.