HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
bootoshi
Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+
7 points
bootoshi
2026-03-17T01:11:17Z
github.com