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?