/vim-syntax-hol4

Vim syntax file for the HOL4 language

Primary LanguageVimLMIT LicenseMIT

Watchers