tlaplus.vscode-ide

TLA+ (Temporal Logic of Actions)

Total downloads

91,263

7d gain

334

Rolling weekly delta

Rating

- / 5

0 reviews

Version

2026.7.211300

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: tlaplus
Name: vscode-ide
License: MIT
Homepage: https://github.com/tlaplus/vscode-tlaplus#readme
Repository: https://github.com/tlaplus/vscode-tlaplus.git
Reviews: 0

Taxonomy

Categories

Programming Languages Snippets Formatters Other Debuggers

Description

TLA+ language support

Archive

Release history

25 latest releases