c-cube/vim-tptp

Name: vim-tptp