Metamath syntax highlighting for Vim, and more.
Primary LanguageVimLCreative Commons Zero v1.0 UniversalCC0-1.0