/p9.vim

prover9 syntax & running in vim

Primary LanguageVim ScriptGNU General Public License v3.0GPL-3.0

p9.vim

small prover9 syntax and utility for vim

Manual

<localleader>r to run prover9 on the buffer you have open

Install

install using a package manager for vim e.g. plugged in your init.vim:

call plug#begin('~/.local/share/nvim/plugged')
    Plug 'snus-kin/p9.vim'
call plug#end()