is active in Bologna since 1999. Its aim is the development of a suitable
technology for the creation and maintenance of a virtual, distributed,
hypertextual library of formal mathematical knowledge. As a subsidiary
is active in Bologna since 1999. Its aim is the development of a suitable
technology for the creation and maintenance of a virtual, distributed,
hypertextual library of formal mathematical knowledge. As a subsidiary