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.

Subscribe

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

majordomo@mizar.uwb.edu.pl
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