2 <!--#include virtual="xhtml-header.shtml" -->
5 <title>Matita - Community</title>
6 <!--#include virtual="xhtml-meta.shtml" -->
9 <!--#include virtual="menubar.shtml" -->
11 <h1>Matita Community</h1>
15 We are currently developing
16 <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
17 technologies to support collaborative development of the Matita
18 library, encouraging people to expand, modify and elaborate previous
19 contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
20 codename of the effort.
23 <!--#include virtual="bottombar.shtml" -->