Collection of projects dealing with the Mondex Case Study:
A complete list of all projects for the Mondex case study can be found on this site .
Some selected Mondex projects are:Other currently available projects:

All xml files in these projects are generated automatically, but not at the same time. Since projects may depend on other projects, the following situation may occur: A theorem in project A uses a theorem from project B, but the link to this theorem is dead. This does not mean that the project is inconsistent, but simply that this documentation is not up-to-date.