using:vscode:start

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.
  • using/vscode/start.txt
  • Last modified: 2024/10/19 21:16
  • by fponzi