GitHub repository: wannesm/wmnusmv.vim
Primary language: VimL
Description: Vim plugin for NuSMV