I am learning TLA+ but I do not know CSP, is CSP better?
They’re completely unrelated. The GP was making a joke.