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

(github.com)

7 points | by bootoshi 2 days ago ago

No comments yet.