Mizar Forum

Mizar Forum is a mailing list devoted to discussions concerning Mizar and related topics, such as The Mizar Language, Mizar Mathematical Library, etc.


In order to subscribe to Mizar Forum mailing list, send an e-mail to:

with the following text in its body:
subscribe mizar-forum
The subject of this e-mail, as well as the text following the above statement, is ignored.

The Mizar Forum Archive

The Mizar Forum Archive is updated daily at midnight.

[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: April 9, 2010