Exports a sequent set as TPTP thf problem
Exports a sequent set as TPTP thf problem
the list of sequents to export
if true (default) we check ls for validity, if false, we check for unsatisfiability
Exports a sequent set as TPTP thf problem
Exports a sequent set as TPTP thf problem
the list of sequents to export
the filename
if true we check ls for validity, if false (default), we check for unsatisfiability
extract all variables, bound and free
extract all variables, bound and free