Aim of project HELM:

Developing a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge

without loosing the already codified material