Vim filetype for the TLA+ specification language and proofs
Primary LanguageVim scriptGNU General Public License v3.0GPL-3.0