Fix FOL and HOL quantified formulae toSExpression
Opened this issue · 0 comments
James-Oswald commented
While working on SlateCore, which reuses the formulae, I've noticed toSExpression is wrong for quantifiers, the variables are not printed. This bad behavior is incorrectly mirrored in the tests.