prev slide prev contents next next slide

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