1 <!--#include virtual="xhtml-header.shtml" -->
4 <title>Matita home page - community</title>
5 <link type="text/css" rel="stylesheet" href="style.css"/>
8 <!--#include virtual="menubar.shtml" -->
10 <h1>Matita Community</h1>
11 <h2><span class="h2">Miki</span></h1>
13 We are currently developing
14 <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
15 technologies to support collaborative development of the Matita
16 library, encouraging people to expand, modify and elaborate previous
17 contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
18 codename of the effort.
21 <!--#include virtual="bottombar.shtml" -->