[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] Mizar Proof Advisor
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] Mizar Proof Advisor
- From: Josef Urban <josef.urban@gmail.com>
- Date: Mon, 26 Jul 2010 21:44:14 +0200
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=tcO/DwFbImnDglv8TLyJvy03a0ru8+5Qt6ezAoUNsMiPEJHUW4AnefZXkqlUhZLEeN V+obZAs7nbCQoMPYefpabUF8LMTquidjMpByxPRldUteJ5ebSQ3NZf9FL8aTKaxIkw1i 2EGE4P4YH7FWRITyzSp1qKUBDhOFowETIqclQ=
Dear Boris,
On Mon, Jul 26, 2010 at 1:07 PM, Boris Schminke <schminkeba@gmail.com> wrote:
> Dear All,
> Can Advisor be run locally under Windows? (It looks like suitable for
> Linux only.)
The existing Proof Advisor uses the SNoW machine learning system
(http://l2r.cs.uiuc.edu/~danr/snow.html). I guess it could be compiled
under Windows. The related Perl scripts would likely have to be
modified/replaced.
> Why is on-line Advisor down now and how long it is going to be so?
It should be running again now. I'll have to move it to another
machine soon, and update it to newer MML.
Best,
Josef Urban