TLA+ is hard to learn (2018)
For me the big issue is the weird syntax. I know this may sound superficial but it is really off-putting.<p>My guess is that if syntax is improved, a lot of people will give it a shot.