Association of Mizar Users
Library Committee

At the beginning of 1989, the Mizar group in Bialystok started collecting Mizar articles and organizing them into a library that is distributed to other Mizar users. 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.

Main aim of the Committee is to collect Mizar articles and to organize them into a database called Mizar Mathematical Library (MML for short). Statistical data of the library is available.

All articles should be written in Mizar language. Library Committee requires that authors of contributed articles supply an additional file (BiBTeX file .bib) that describes the bibliographic data such as title, authors' names and addresses, and a summary (in English). See more detailed instructions. Additional submission declaration has to be delivered (see mmldecl.txt in the Mizar distribution package)
e-mail address:
An usual address is:

Adam Grabowski
Association of Mizar Users
ul. Konstantego Ciolkowskiego 1M
15-245 Bialystok

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.

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

Last modified: January 22, 2003