/vim-tla

Vim filetype for the TLA+ specification language and proofs

Primary LanguageVim scriptGNU General Public License v3.0GPL-3.0

Stargazers