Why? Because now you can write your own test harnesses and symbolic search tools that interact with TLA + and Quint specifications. Use it with an AI agent, and you have got superpowers! Minimalistic.
The primary functionality is a time service where the client makes a single request, and the server responds with a stream of time updates. . ├── client/ # Go client service │ ├── go.mod # Go module ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback