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
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: email@example.com.
An usual address is:
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.
Last modified: January 22, 2003