]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita1.0/community.shtml
- natural numbers with infinity for lambdadelta
[helm.git] / helm / www / matita1.0 / community.shtml
1 <!--#include virtual="xhtml-header.shtml" -->
2 <!-- $Id$ -->
3 <html xmlns="http://www.w3.org/1999/xhtml">
4   <head>
5     <title>Matita - Community</title>
6     <!--#include virtual="xhtml-meta.shtml" -->
7   </head>
8   <body>
9     <!--#include virtual="menubar.shtml" -->
10     <div class="main">
11       <h1>Matita Community</h1>
12
13       <h2>Mailing lists</h2>
14       <p>
15       Discussions about Matita are held in the following mailing list
16       </p>
17         <a href="http://cs.unibo.it/cgi-bin/mailman/listinfo/matita">Matita mailing list</a>
18       <p>
19       The list is open to subscriptions for everyone, subscription is
20       required in order to post. <a href="http://www.cs.unibo.it/pipermail/matita/">Archives</a> of old posts are available. 
21       </p>
22       <p>Here a link to the <a href="http://www.cs.unibo.it/cgi-bin/mailman/admin/matita/">administrative</a> interface</p>
23
24
25       <!--#include virtual="bottombar.shtml" -->
26     </div>
27   </body>
28 </html>