GitHub repository: mrc/tla-tools
Primary language: Emacs Lisp
Created: 2019-04-26T01:31:05Z
Description: TLA+ tools for Emacs