2 ms·
I don't think TLA+ is "the real thing." I just find it easier. If others find PlusCal easier, then they should definitely start with that.
by pron 7y ago
I don't think TLA+ is "the real thing." I just find it easier. If others find PlusCal easier, then they should definitely start with that.