Visual Studio Code Extension
This is the fastest and easiest way to get started with TLA+ and TLC.
- Download and install Visual Studio Code
- Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install". Make sure to install TLA+ from TLA+ Foundation.
- Install Java if it's not present on your computer.
That's it, you're ready to write and check your first specification!
If you're new to Visual Studio Code, its documentation is a good way to start working with it.
The source code of the plugin is available on GitHub: https://github.com/tlaplus/vscode-tlaplus
Here you can find information on the features the extension provides and tips on how to use it efficiently.
- If the extension is already installed, the simplest way to start working with it is described in the Getting Started section.
- Should you want to change how the extension behaves, have a look at the Settings and Setting-up-Environment sections.
- The most valuable functionality is provided by means of commands, so it’s a good idea to learn about them.
- Something doesn’t work as you expected? Please, refer to the Troubleshooting and Caveats sections, or file an issue if you can’t find a solution.