]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/matita.shtml
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
prova
[helm.git] / 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>
Unnamed repository; edit this file 'description' to name the repository.