Mizar User Service
Mizar User Service (MUS) is an e-mail service
established in December, 1997.
MUS is primarily intended to help people who want to learn how to use Mizar,
but also for all those who already know Mizar, yet may find some problems in doing their formal reasoning with Mizar.
We expect that MUS shoud mostly be contacted with questions concerning
The answer should normally be given in 48 hours.
We also expect questions going beyond that scope, e.g.
reporting unexpected behaviour of Mizar utilities (possible bugs).
In such a case we cannot guarantee the answer in 48 hours, but
the answer will be given as soon as possible.
- the installation process of the Mizar system,
- doing formalization in Mizar,
- more detailed explanation of errors reported by the Mizar system,
- submissions to the Mizar Mathematical Library.
Last modified: November 10, 2005