Get the latest tech news

TScert: A Sound Core for TypeScript

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof. - cristianoc/TScert

None

Get the Android app