[mizar] Re: Mizar Proof Advisor

[Boris Schminke <schminkeba@gmail.com>]

Deal All,
I understood than there is little need for MPA now when remoted ATP
solving is available. But I've faced another problem: while trying to
generate proof sceleton Emacs hungs up (running under Windows 7 or
Ubuntu 11). Please help!:)

On 22 August 2011 16:26, Boris Schminke <schminkeba@gmail.com> wrote:
> Dear All,
> Is MPA server down only for a while or I've missed something important?
>
> Yours,
> Boris.
>

-- 
Yours,
Boris.