Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: about 1 month ago
JSON representation

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

Awesome Lists containing this project