florentc / vim-tla

Vim filetype for the TLA+ specification language and proofs

Geek Repo

Github PK Tool