2019-06-24 15:16:14 (GMT)
Welcome to #Output formats.
2019-06-24 15:18:21 (GMT)
Hello,
In the TSTP output format and specially in TFF formulas, variables are free (which is not allowed in TPTP syntax), is it a bug that require a fix or do we need to quantify each variable when we parse a file ?
Thanks :)
2019-10-07 14:41:30 (GMT)
I totally missed that message, sorry. Did you mean to post it on #zipperposition ?