12 ms·In practice it's fuzzy but TLA+ is meant for checking your thinking not your code as per seby mhh__ 4y agoIn practice it's fuzzy but TLA+ is meant for checking your thinking not your code as per se