Similarity to Quint?

[maackle]

It does seem like this project is inactive, but in case you ever pick it up again, I wonder if you're familiar with Quint? I wonder how this project would be different, or if perhaps that has a lot of what you're looking for?

BTW, I'm personally interested in seeing TLA+ in Rust. Perhaps as a proc macro that can define a TLA model, but which more seamlessly integrates with the Rust SUT, e.g. exposing Actions as enums.