prev slide prev contents next next slide

Aim of project HELM:


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


but we don't want to lose the already codified knowledge