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       <p class="spaced">
  15       Matita (that means <em>pencil</em> in italian) is an experimental,
  16         interactive theorem prover under development at the
  17       <a href="http://www.cs.unibo.it">Computer Science Department</a> of the
  18       <a href="http://www.unibo.it">University of Bologna</a>.
  19       </p>
  20
  21 <!-- <a href="http://www.mkm-ig.org">Mathematical Knowledge Management</a> tools and techniques. </p> -->
  22
  23
  24     </div>
  25   </body>
  26 </html>