First article accepted to the library was Boolean Properties of Sets on January 6, 1989. Library Committee has been established on November 11, 1989. First head was Edmund Woronowicz. At the end of 1998 MML consisted of 552 articles authored by more than 100 people. Totally there were more than 37 MB of source text files with articles.
Some statistics are available.
All articles should be written in Mizar language . This file can be prepared with Bibart program distributed with the Mizar package. Every submitted paper has to be accepted by the Mizar verifier and to pass automatical review. Library Committee reserves the right to edit, process and distribute articles.