TopNewBestAskShowJobs
1.
Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+ (github.com/kingbootoshi)
7 points
bootoshi
3 months ago
discuss