Visual Studio Code Extension

This is the fastest and easiest way to get started with TLA+ and TLC.

1. Download and install Visual Studio Code
2. Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install". Make sure to install TLA+ from TLA+ Foundation.
3. 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.