TLA+ Tools for Emacs users
If you are an Emacs user, you can use the following plugin to get started with TLA+ tools: https://github.com/mrc/tla-tools
using:emacs:start
If you are an Emacs user, you can use the following plugin to get started with TLA+ tools: https://github.com/mrc/tla-tools