c-cube/vim-tptp

Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)

语言：Vim script · GitHub 星标：6 · Fork：1

在 GitHub 上查看原仓库