TScert: A Sound Core for TypeScript
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
TScert is a research checker for TypeScript functions that accepts a function only with a proof, validated by a Lean-proved soundness theorem rather than by trusting inferred types.