Re: Mizar User Service

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Hi:

> I would like to announce that the new Mizar service is established.
> The service is called
>               Mizar User Service (MUS)
> and its email is
>               mus@mizar.uw.bialystok.pl
> 
> MUS is intended to help anyone who wants to learn Mizar
> or uses Mizar to check formal reasoning or just to do mathematics.
> 
> We expect that MUS will be used mostly for questions of the type
>   - what does it mean the error reported by Mizar,
>   - how to write it in Mizar.
> The answer will be given in 48 hours.

Long time ago I have sent a question to mus and never got nay answer.

-- 
Piotr (Peter) Rudnicki