added Zipperposition to sledgehammer's default provers
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEac90d6c6c149: provide zipperposition-2.1 (still unused);
- Branches
- Unknown
- Tags
added Zipperposition to sledgehammer's default provers Tags None Subscribers None |