helm/www/matita/matita.shtml

   1 <!--#include virtual="xhtml-header.shtml" -->
   2 <!-- $Id$ -->
   3 <html xmlns="http://www.w3.org/1999/xhtml">
   4   <head>
   5     <meta name="keywords" content="Matita, prover, assistant" />
   6     <title>Matita - Home Page</title>
   7     <!--#include virtual="xhtml-meta.shtml" -->
   8   </head>
   9   <body>
  10     <!--#include virtual="menubar.shtml" -->
  11     <!--#include virtual="news.shtml" -->
  12     <div class="main">
  13
  14       <div class="topimage">
  15         <img src="images/matita-text-big.png" alt="Matita" />
  16         <a href="matita_it.shtml">
  17          <img src="flags/wit.gif" alt="italian flag" />
  18         </a>
  19       </div>
  20
  21       <p class="spaced">
  22       Matita (that means <em>pencil</em> in italian) is an experimental,
  23         interactive theorem prover under development at the
  24       <a href="http://www.cs.unibo.it">Computer Science Department</a> of the
  25       <a href="http://www.unibo.it">University of Bologna</a>.
  26       </p>
  27
  28 <!-- <a href="http://www.mkm-ig.org">Mathematical Knowledge Management</a> tools and techniques. </p> -->
  29
  30
  31     </div>
  32   </body>
  33 </html>