/template-tlaplus

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

Primary LanguageTLAMIT LicenseMIT

Watchers

No one’s watching this repository yet.