A TLA+ template on Gitpod
This is a TLA+ template configured for ephemeral formal vertification environments on Gitpod.
Next Steps
Click the button below to start a new development environment:
Get Started With Your Own Project
A new project
Click the above "Open in Gitpod" button to start a new workspace. Once you're ready to push your first code changes, Gitpod will guide you to fork this project so you own it.
An existing project
To get started with TLA+ on Gitpod, add a .gitpod.yml
and .gitpod.Dockerfile
file which contains the configuration to improve the developer experience on Gitpod. To learn more, please see the Getting Started documentation.
Notes & caveats
Right click on the black desktop to open the program launcher/start menu.