cristianoc/TScert

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

25 best points · 11 comments · 1 Hacker News post · 138 GitHub stars · View on GitHub

Hacker News discussions

• TScert: A Sound Core for TypeScript (25 points, 11 comments, by bpierre, 2026-11-04)