State of art for tla + rust

I just saw https://news.ycombinator.com/item?id=19661329

Googling for “tla + rust” shows a number of github projects, but it’s not clear what they do.

Is anyone here using tla with rust? If so, (1) what have you managed to verify and (2) what is your work flow like?

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.