more robust: notably for sledgehammer with 'using' and prover=cvc4;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE9fdbd2f0b56e: Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
- Branches
- Unknown
- Tags
more robust: notably for sledgehammer with 'using' and prover=cvc4; Tags None Subscribers None
Description
Details
|