tla-snippets

tla-snippets copied to clipboard

This is a collection of TLA+ snippets designed to make some basic tasks easier. Almost all of them are utility operators.

How to use

• Find a snippet you like
• Copy into your spec
• That's it!

Contributing

• Fork
• Add some cool operators
• PR

License

Public Domaaaaaaaaaain