An Emacs major mode for editing TLA+ specifications.
Primary LanguageEmacs LispGNU General Public License v3.0GPL-3.0