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:
majordomo@mizar.uwb.edu.plwith the following text in its body:
subscribe mizar-forumThe subject of this e-mail, as well as the text following the above statement, is ignored.
The Mizar Forum Archive is updated daily at midnight.
Last modified: April 9, 2010