<a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
lot of people contributed both ideas and source code that have made
Matita what it looks today. In this page we tried to summarize all
<a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
lot of people contributed both ideas and source code that have made
Matita what it looks today. In this page we tried to summarize all