alygin.vscode-tlaplus

TLA+

Deprecated Open VSX ↗

Total downloads

0

7d gain

0

Rolling weekly delta

Rating

- / 5

0 reviews

Version

-

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: alygin
Name: vscode-tlaplus
License: MIT
Repository: https://github.com/alygin/vscode-tlaplus.git
Reviews: -
Replacement: TLA+ (Temporal Logic of Actions)

Taxonomy

Categories

Programming Languages Snippets Formatters Other

Description

TLA+ language support

Archive

Release history

5 latest releases