[isabelle] Which prover to use for Sledgehammer


I now have the SPASS and E provers set up for use with sledgehammer and
wanted to know whether there is any comparison or if there is anybody
here who can tell me which prover solves more of your "every day work" 

Is there any other freely available and compatible ATP that one could
try? Seems like Vampire would be a great tool but its not freely

Christian Doczkal

Attachment: smime.p7s
Description: S/MIME cryptographic signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.