GitHub repository: AlexRogalskiy/template-tlaplus
Description: The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.