GitHub - kingbootoshi/tla-precheck: Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.

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

Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible. - kingbootoshi/tla-precheck
7 points by bootoshi 219 days ago github.com 0 comments
Summary not yet generated for this article.

Comments (0 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open