# Formatting style for proofcheck.
# Based on LLVM style, which matches the codebase's existing conventions
# (2-space indent, attached braces, 80-column limit).
BasedOnStyle: LLVM
IndentWidth: 2
ColumnLimit: 80
# Include order is load-bearing (verify.cpp textually includes tests.cpp and
# tptp_validate.cpp); never let the formatter reorder includes.
SortIncludes: Never
# Keep at most one blank line so the large hand-spaced files become uniform.
MaxEmptyLinesToKeep: 1
