tlaplus.vscode-ide

TLA+ (Temporal Logic of Actions)

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.7.0 2024-09-19