Re: Mizar User Service

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

Hi:

I am not user that mus as a new service makes much sense at the moment
taking into account a rather modest traffic in mizar-forum.
Anyway, I will be sending a question to mus right away.

PR

> 
> 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.
> We expect also questions going beyond that scope, e.g.
> unexpected behavior of Mizar programs (maybe bug).
> In such case we can not guarantee the answer in 48 hours but
> the answer will be given as soon as possible.
> 
> All questions will be collected and used to create the FAQ for Mizar.
> 
> Grzegorz Bancerek
> bancerek@math.uw.bialystok.pl
> 


-- 
Piotr (Peter) Rudnicki