TLA Plus Foundation

TLA+ VS Code Extension

The official TLA+ extension for Visual Studio Code providing language support, syntax highlighting, TLC integration, and model checking from within the VS Code editor.

GitHub

Documentation

📖
Documentation
https://github.com/tlaplus/vscode-tlaplus

SDKs

📦
GitHubRepository
https://github.com/tlaplus/vscode-tlaplus

API entry from apis.yml

apis.yml Raw ↑ 
aid: tla-plus-foundation:vscode-tlaplus
name: TLA+ VS Code Extension
description: The official TLA+ extension for Visual Studio Code providing language support, syntax highlighting,
  TLC integration, and model checking from within the VS Code editor.
humanURL: https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus
tags:
- IDE
- VS Code
- Tooling
properties:
- type: Documentation
  url: https://github.com/tlaplus/vscode-tlaplus
- type: GitHubRepository
  url: https://github.com/tlaplus/vscode-tlaplus