Chapter 8

Registering to the Library

We would like to explain the Mizar library registration process. Let us assume that we wrote a Mizar article and it passed the checker. However, we cannot register it to the Mizar library because it only passed the checker. Before registering, we have a few other things to do.