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

7 pointsposted 2 days ago
by bootoshi
(github.com)

No comments yet