TScert: A Sound Core for TypeScript(github.com)
16 points by bpierre | 3 comments
GitHub repository for TScert, an independent checker with soundness proved in Lean that accepts TypeScript functions only when accompanied by a proof.
#proof-carrying-code on Hacker News
1 story tagged proof-carrying-code, newest first.