Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+github.com/kingbootoshi7 pointsbootoshi3 months ago