This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.

The name of this repository is temporary and will be changed to MML soon.