kingbootoshi/tla-precheck

Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.

7 best points · 0 comments · 1 Hacker News post · 113 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+ (7 points, 0 comments, by bootoshi, 2026-03-17)