HELM: an Hypertextual Electronic Library of Mathematics

Last update: August 01, 2005

Contact: sacerdot@cs.unibo.it

Project HELM is aimed at developing the tools for the creation, maintainance and exploitation of a distributed hypertextual library of formal mathematical knowledge. Up to now the following software has been released:
Miscellaneous: