TLA+

Files
.tla
Formats as
tla2tools
Lints
Every rule that reads its code
In ur.toml
[format.tlaplus]

Formatted

Counter.tla, as written
---- MODULE Counter ----
EXTENDS Naturals
VARIABLE x
Init == x=0
Next == x'=x+1
Spec == Init /\ [][Next]_x
====
ur format --style tla2tools Counter.tla
---- MODULE Counter ----
EXTENDS Naturals
VARIABLE x
Init == x = 0
Next == x' = x + 1
Spec == Init /\ [][Next]_x
====

Try it in the playground →

Versions

Ur reads TLA+ as the profiles below name it. Name the versions a project targets in target; without it, Ur reads tlaplus-2.

ProfileDialect
tlaplus-2SANY