# `mix tptp.format`
[🔗](https://github.com/jcschuster/tptp/blob/v0.1.3/lib/mix/tasks/tptp.format.ex#L1)

Reformat TPTP files in place.

    mix tptp.format Problems/PUZ/PUZ001+1.p
    mix tptp.format "Axioms/**/*.ax"
    mix tptp.format --check Problems/**/*.p

Only white space is altered. The token sequence is unchanged, as
`Tptp.Printer.Format` describes and a corpus test asserts, so this cannot rewrite
one formula into another.

A file whose tokens do not lex is left unmodified and reported. A formatter is
invoked precisely when a file is in an inconsistent state, and rewriting one it
cannot read risks discarding content.

## Options

  * `--check` — change nothing; exit non-zero if any file would change. For CI.

---

*Consult [api-reference.md](api-reference.md) for complete listing*