My Plans for 2022 and 2023

JJParser

• Type aware(ish)
• Boolean terms, tuples, $ite, and $let
• Statistics, impacts ProblemAndSolutionStatistics
• Very pretty printing
• TPTP v7.5.1 in January/February 2022

Extended TFF (TXF) and THF

• TXF is TFF plus Boolean terms, tuples, $ite, and $let
• THF will have (updated) tuples, $ite, and $let
• TPTP v8.0.0 in the first half of 2022

Non-classical Music (and Logic)

• New syntax for non-classical connectives
• Syntax for specifying logics' semantics
• Tool chain(s?)
• Problem collection
• TPTP v9.0.0 in the second half of 2022, or 2023

Releases

• TPTP v7.5.1, with new statistics, January/February 2022
• TPTP v8.0.0, with TXF problems, first half of 2022
• CASC-J11 will use TPTP v8.1.0, but no TXF
• CASC-29 will use TPTP v8.*, with TXA division
• TPTP v9.0.0, with NFF and NHF problems, second half of 2022, or 2023