4 ms·It's inspired by TLA+, but it uses a different semantics, I think.by hwayne 5y agoIt's inspired by TLA+, but it uses a different semantics, I think.