4 ms·
TLA+ is a nice tool to help with thinking. It is surprisingly approachable for a formal system, so don't hesitate to try it.
by youerbt 6y ago
TLA+ is a nice tool to help with thinking. It is surprisingly approachable for a formal system, so don't hesitate to try it.