4 ms·
If you're interested in TLA+ I recommend https://learntla.com https://learntla.com which uses the simpler notation PlusCal
by exdsq 6y ago
If you're interested in TLA+ I recommend https://learntla.com https://learntla.com which uses the simpler notation PlusCal