You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The TPTP formatter currently prints f__integer__(1) = f__integer(1) instead of 1 = 1.
This is also true for other relation, e.g. p__less__(f__integer__(1), f__integer__(2) instead of $less(1,2).
The text was updated successfully, but these errors were encountered:
The TPTP formatter currently prints
f__integer__(1) = f__integer(1)
instead of1 = 1
.This is also true for other relation, e.g.
p__less__(f__integer__(1), f__integer__(2)
instead of$less(1,2)
.The text was updated successfully, but these errors were encountered: