3 ms·
Hey thanks for this comment! It reminded me that I wanted to play with TLA+ some years ago. Now, for the first time, I got a couple of models checked :)
by wofo 5y ago
Hey thanks for this comment! It reminded me that I wanted to play with TLA+ some years ago. Now, for the first time, I got a couple of models checked :)