GitHub repository: marnix/metamath.vim
Primary language: VimL
Created: 2015-08-29T20:03:21Z
Description: Metamath syntax highlighting for Vim, and more.