Re: [isabelle] Sledgehammer: Cannot connect to server.

>> Cannot connect to remote server.
>> "remote_vampire": Error: SystemOnTPTP is not available.

Same error here.

> Conceivably, we shall have to provide such a service ourselves one day. The vampire prover is not available to download at the moment.

Even if the prover were available for download, it might be great to
have the possibility to enable some external provers. Today, a student
with a slow Macbook told me "sledgehammer does not work without


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