Tools for MML Environment Analysis

摘要

In this paper we describe a collection of tools used to support the management of the Mizar Mathematical Library (MML). The tools handle the dependencies between the texts collected in MML based on the information stored in every article's environment declaration. The application of these tools helps reduce redundant information in the library and speed up its regeneration after revisions.