4 ms·
If I understand it correctly, more advanced logics (based around state transitions) doesn't have this problem (TLA+ etc.)
by deterministic 4mo ago
If I understand it correctly, more advanced logics (based around state transitions) doesn't have this problem (TLA+ etc.)