/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

No issues in this repository yet.