HomeIsabelle/Phabricator

adjust TPTP THF parser to give priority to @ over other operators, to parse…

Description

adjust TPTP THF parser to give priority to @ over other operators, to parse Ehoh proofs

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE8ce2469920bf: tuned punctuation
Branches
Unknown
Tags
Unknown