Programming.
there’s a command line version? Yup! If you’ve downloaded the TLA+ toolbox, you already have the command line tools installed on your computer. To configure them there’s a helpful set of shell scripts you can download here. One of the first things I did with this knowledge was build a little proof