GitHub repository: snus-kin/p9.vim
Primary language: Vim script
Created: 2021-10-05T16:51:58Z
Description: prover9 syntax & running in vim