scala-tptp-parser is a Scala library (for Scala 2.13.x) for parsing the input languages of the TPTP infrastructure. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, the parser supports: THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), FOF: Untyped first-order logic, TCF: Typed clause-normal form, CNF: (Untyped) clause-normal form, TPI: TPTP Process Instruction language, and NXF/NHF: the new (partly experimental) non-classical TPTP languages based on TXF resp. THF. Version 1.7.2 of the scala-tptp-parser library. Updates: The AST now includes line numbers/offsets where the formula came from (if parsed from a file). See the README for further information.