p9.vim

small prover9 syntax and utility for vim

Manual

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

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()