</style>
<body>
-
+
<font size="-1" face="Arial, Helvetica, sans-serif">
+
+ <!-- Matita Header -->
+ <table align=center border=1 bordercolor=#227722 bgcolor=#227722
+ width=95% cellpadding=3>
+ <tr>
+ <td bgcolor=#D0FFD0>
+ <table align=center border=0 width=100%>
+ <tr>
+ <td bgcolor=#D0FFD0 align=center>
+ <a href=developers.html>Developers</a>
+ </td>
+
+ <td bgcolor=#D0FFD0 align=center>
+ <a href=documentation.html>Documentation</a>
+ </td>
+
+ <td bgcolor=#D0FFD0 align=center>
+ <a href=community.html>Community</a>
+ </font>
+ </td>
+ <td bgcolor=#D0FFD0 align=center>
+
+ <font face=arial size=3 color=#000000>
+ <a href=download.html STYLE="text-decoration: none">Tool Download</a>
+ </font>
+ </td>
+ <td bgcolor=#D0FFD0 align=center>
+ <font face=arial size=3 color=#000000>
+ <a href=benchmarks.html STYLE="text-decoration: none">Benchmark Suites</a>
+ </font>
+
+ </td>
+ <td bgcolor=#D0FFD0 align=center>
+ <font face=arial size=3 color=#000000>
+ <a href=drafts.html STYLE="text-decoration: none">Draft Papers</a>
+ </font>
+ </td>
+ </tr>
+ </table>
+
+ </td>
+ </tr>
+</table>
+
+<br>
+
<h2>Current team members</h2>
<ul>
<li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> Full Professor</li>
projects / helm.git / commitdiff