3 ms·
If you're working on problems where TLA+ can help you, then you damn make sure you know your state invariants.
by the-smug-one 4y ago
If you're working on problems where TLA+ can help you, then you damn make sure you know your state invariants.