don't apply abduction and consistency checking to goals of the form 'False'
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEa8458f0df4ee: implemented ad hoc abduction in Sledgehammer with E
- Branches
- Unknown
- Tags