Re: Mizar Proof Advisor
Josef Urban <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
Dear Boris, On Mon, Jul 26, 2010 at 1:07 PM, Boris Schminke <[email protected]> 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