Skip to content

Home

Jump to bottom
Andrew Lygin edited this page Sep 9, 2019 · 12 revisions

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.
  • Something doesn't work as you expected? Please, refer to the Troubleshooting section or file an issue if you can't find a solution.
Clone this wiki locally