How to Install

Jump to bottom

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.