Claudio Sacerdoti
Dept. of Computer Science 
University of Bologna

Towards an Hypertextual Electronic Library of Formal Mathematical knowledge

The HELM project is meant to integrate the current tools for the
automation of formal reasoning and the mechanization of mathematics
(proof assistants and logical frameworks) with the most recent
technologies for the development of web applications and electronic
publishing. The final aim is the developments of a suitable technology
for the creation, maintenance and fruition of a virtual, distributed,
hypertextual library of formal mathematical knowledge.