It runs command line tools for you in VSCode. Syntax highlighting, code snippets, TLC process and results visualization are also included.You might like this VSCode extension for TLA+: https://marketplace.visualstudio.com/items?itemName=a11Andrew LyginMarianne BellottiAug 22, 2019·1 min readOhhhh! People keep telling me about how great VSCode is but I’ve never had a reason to try it out before. Thanks!