Mizar User Service


Mizar User Service (MUS) is an e-mail service mus@mizar.uwb.edu.pl 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.
Home | Project | Language | System | Library | JFM

Last modified: November 10, 2005