-
Notifications
You must be signed in to change notification settings - Fork 33
How to Install
Andrew Lygin edited this page Sep 15, 2019
·
6 revisions
Since the "TLA+ for Visual Studio Code" is an extension for Visual Studio Code, the installation process is as simple as:
- Download and install Visual Studio Code.
- Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install".
- Install Java if it's not present on your computer.
That's it, you're ready to write and check your first specification!
If you're new to Visual Studio Code, its documentation is a good way to start working with it.