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.txt
- Last modified: 2024/10/21 19:31
- by
fponzi
using:emacs:start
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
fponzi