Skip to content

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

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

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

Annotations

1 warning

build

succeeded Nov 22, 2024 in 6s