TPTP Editor is a full featured editor for the TPTP language.
tptp-editor is an EDLA project.
The purpose of edla.org is to promote the state of the art in various domains.
This is an ongoing work. TPTP Editor is not yet usable.
© 2012 Olivier ROLAND. Distributed under the Eclipse Public License.