This is an old revision of the document!
Visual Studio Code Extension
This is the fastest and easiest way to get started with TLA+ and TLC.
- Download and install Visual Studio Code
- Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install". Make sure to install TLA+ from TLA+ Foundation.
- 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.
The source code of the plugin is available on GitHub: https://github.com/tlaplus/vscode-tlaplus
fponzi