The latest major TPTP release is TPTP 4.0; TPTP 4.0.1 contains translation fixes to the function on top of the TPTP 4.0.0 base.
It is intended that translation fixes to the on-line help documentation will be included in TPTP 4.0.2; they are not included in TPTP 4.0.1.Choose a release, either:
- TPTP 4.0.0 if you need to use an English version of the latest Released TPTP function.
- TPTP 4.0.1 if you need to use version that supports the latest Released TPTP function in several languages:
- Simplified Chinese
- Traditional Chinese