Skip to content

Home

Jump to bottom
Federico Ponzi edited this page Oct 19, 2024 · 12 revisions

This wiki was moved to the official TLA+ wiki. While the content is still available, you will find the most up to date documents on https://docs.tlapl.us/ .

TLA+ for Visual Studio Code

TLA+ for Visual Studio Code is an extension that adds support for the TLA+ formal specification language and PlusCal algorithm language to VS Code, one of the most popular code editors.

Here you can find information on the features the extension provides and tips on how to use it efficiently.

  • If you want to install the extension, you might find the How to Install section useful.
  • 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.
Clone this wiki locally