allow (~) syntax in TPTP proofs for unapplied negation
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE1c0576840bf4: reconstruct Zipperposition's if-then-else in Sledgehammer Isar proofs
- Branches
- Unknown
- Tags