helm/www/matita/community.shtml

   1 <!-- $Id$ -->
   2 <!--#include virtual="xhtml-header.shtml" -->
   3 <html>
   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<a name="lists" /></a></h2>
  14       <p>
  15       Discussions about Matita are held in several places, mainly on the
  16       following mailing lists:
  17       </p>
  18       <dl>
  19         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
  20         <dd>
  21         <p> Discussion forum for Matita users. </p>
  22         </p>
  23         </dd>
  24
  25         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
  26         <dd>
  27         <p> Discussion forum for Matita developers. </p>
  28         </dd>
  29       </dl>
  30       <p>
  31       All lists are open to subscriptions for everyone, subscription is
  32       required in order to post. Archives of old posts are available. The
  33       mailing list are driven by
  34       <a href="http://www.gnu.org/software/mailman/">Mailman</a>, in order to
  35       subscribe and obtain usage information follow the links above and read
  36       the instructions.
  37       </p>
  38
  39       <h2>Miki<a name="miki" /></a></h2>
  40       <p>
  41       We are currently developing
  42       <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
  43       technologies to support collaborative development of the Matita
  44       library, encouraging people to expand, modify and elaborate previous
  45       contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
  46       codename of the effort.
  47       </p>
  48
  49       <!--#include virtual="bottombar.shtml" -->
  50     </div>
  51   </body>
  52 </html>