X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=16e029f73cbf94f4a7f7194bde7e6916b395667e;hb=0775f6acafa9aa176d148a8f3acf7e750c1c3171;hp=8d284de031b5fc9972a3a1a83ecbb71e793c19b1;hpb=f98eeb911a76531c36d1da56e07eb48568f37734;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 8d284de03..16e029f73 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,16 +1,24 @@ - Matita home page - community - + Matita - Community + -

Miki

-

- Miki is not yet ready... -

- +
+

Matita Community

+

Miki

+

+ We are currently developing + Wiki-like + technologies to support collaborative development of the Matita + library, encouraging people to expand, modify and elaborate previous + contributions. "Miki: a formal Mathematics wIKI" is the + codename of the effort. +

+ +