tlaplus.vscode-ide

TLA+ (Temporal Logic of Actions)

Open VSX
Total downloads
83,259
Cumulative since first snapshot
7d gain
0
Rolling weekly delta
Rating
/ 5
0 reviews
Version
2026.5.270009
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

1 latest releases
  1. 1.7.0 2024-09-19