Home

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.
• If you want to change how the extension behaves, hava a look at the Settings section.
• Something doesn't work as you expected? Please, refer to the Troubleshooting section or file an issue if you can't find a solution.