<p>
The origins of Matita go back to 1999 and are intertwined with the
<a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
<p>
The origins of Matita go back to 1999 and are intertwined with the
<a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a