Skip to content

formatting all variables with trailing _<SORT> for TPTP compliance #360

formatting all variables with trailing _<SORT> for TPTP compliance

formatting all variables with trailing _<SORT> for TPTP compliance #360

Annotations

4 warnings

build (nightly)

succeeded Nov 28, 2024 in 57s