A Vim syntax highlighter for Mizar proof assistant
Primary LanguageVim Script
No issues in this repository yet.