Mizar User Service

[Grzegorz Bancerek <bancerek@math.uw.bialystok.pl>]

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