Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+

 (github.com)

5 points | by bootoshi 5 hours ago

0 comments