https://github.com/gitpod-samples/template-tlaplus

The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.
https://github.com/gitpod-samples/template-tlaplus

formal-verification gitpod template tla-plus

Last synced: 4 months ago
JSON representation

The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.

• Host: GitHub
• URL: https://github.com/gitpod-samples/template-tlaplus
• Owner: gitpod-samples
• License: mit
• Created: 2021-07-06T12:02:38.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-08-17T02:55:19.000Z (almost 4 years ago)
• Last Synced: 2025-01-24T12:45:34.596Z (5 months ago)
• Topics: formal-verification, gitpod, template, tla-plus
• Language: TLA
• Homepage:
• Size: 82 KB
• Stars: 3
• Watchers: 9
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# A TLA+ template on Gitpod

This is a [TLA+](https://lamport.azurewebsites.net/tla/tla.html) template configured for ephemeral formal vertification environments on [Gitpod](https://www.gitpod.io/).

## Next Steps

Click the button below to start a new development environment:

[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/gitpod-io/template-tlaplus)

## 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`](./.gitpod.yml) and [`.gitpod.Dockerfile`](./.gitpod.Dockerfile) file which contains the configuration to improve the developer experience on Gitpod. To learn more, please see the [Getting Started](https://www.gitpod.io/docs/getting-started) documentation.

## Notes & caveats

Right click on the black desktop to open the program launcher/start menu.