Aim of project HELM:
Developing a suitable technology for the creation and maintenance of a distributed, hypertextual library of formal mathematical knowledge