<a href="http://helm.cs.unibo.it/browse/">browsed as an hypertext</a>
(locally or on the World Wide Web) and
<a href="http://helm.cs.unibo.it/whelp/"> searched by means of
<a href="http://helm.cs.unibo.it/browse/">browsed as an hypertext</a>
(locally or on the World Wide Web) and
<a href="http://helm.cs.unibo.it/whelp/"> searched by means of
The tactical language, part of the proof language, has
step-by-step semantics, enabling inspection and replaying of deeply
structured proof scripts. </p>
The tactical language, part of the proof language, has
step-by-step semantics, enabling inspection and replaying of deeply
structured proof scripts. </p>
+
+ <p>Matita is partially supported by the following Projects:
+ <ul>
+ <li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
+ Types Project</a>
+ <li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>
+ <li><a href=http://dama.cs.unibo.it/>Dama</a></li>
+ </ul>
+ </p>