tptp

cff-version: 1.2.0
message: "If you use this software, please cite it using these metadata."
title: "tptp"
abstract: >-
  tptp is a span-preserving parser, linter and printer for the TPTP language in
  Elixir, generated from the published TPTP syntax BNF (v9.3.1.3). It also
  carries the SZS ontologies, generated from the TPTP World's SZSOntology.bnf,
  with their isa hierarchy. It reads TSTP solution files and indexes a
  derivation's source annotations as a graph. It has no runtime dependencies and
  performs no elaboration or type checking.
type: software
authors:
  - family-names: Schuster
    given-names: Johannes
    orcid: "https://orcid.org/0009-0003-5339-7216"
    affiliation: "Otto-Friedrich-Universität Bamberg, Germany"
version: "0.2.1"
date-released: "2026-10-14"
license: MIT
repository-code: "https://github.com/jcschuster/tptp"
url: "https://hexdocs.pm/tptp"
keywords:
  - TPTP
  - parser
  - linter
  - pretty-printer
  - BNF
  - SZS
  - TSTP
  - automated reasoning
  - Elixir
  - BEAM
doi: 10.5281/zenodo.23063475