The (Future) User Services
The TPTP4X Parser
- Elegant at first, now getting too hacked
- Extend to TFX, non-classical, maybe multi-valued, logics
- Explicit type information
- Lots of tools depend on the code and data structures
The TPTP2T Problem and Solution Selector
- Little known
- Export in archive format
- Extend to TDTP