/tla-snippets

A collection of useful TLA+ operators

Primary LanguageTLA

No issues in this repository yet.