Re: [isabelle] prover remote_vampire not responding

This message is standard for people who are heavy users of the remote_vampire based at the University of Miami. It is unfortunate in your case, given that Vampire has never worked for you. Unfortunately, Vampire doesn't appear to be available for downloading at this time.


> On 14 Feb 2018, at 16:55, Dr A. Koutsoukou-Argyraki <ak2110 at> wrote:
> % Congratulations - you have become a registered power user of SystemOnTPTP, at IP address 128.232.*.
> % Please consider donating to the TPTP project - see <> for details.
> % When you donate this message will disappear.
> % If you do not donate a random delay might be added to your processing time.

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