GitHub repository: nemo-ufes/tptp-editor-eclipse-plugin
Primary language: Xtend
Description: A TPTP Editor as an Eclipse Plugin (teep)