This is a TLA+ template configured for ephemeral formal vertification environments on Gitpod.
Click the button below to start a new development environment:
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.
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.
Right click on the black desktop to open the program launcher/start menu.