Chapter 8

ライブラリへの登録

　Mizarライブラリへの登録について説明します．Mizar の article を書いて，チェッカーを通ったとします．しかし，チェッカーを通っただけでは，Mizarライブラリに登録することはできません.登録する前にいくつかやることがあります.