The Structure of the Mizar Mathematical Library

• The net of structures in the MML
• The Dependence Tree of Mizar Articles