X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=65155112de1d9c28b0c1220ce04400b0262316a1;hb=f53bbf14695f988b16d028a3ffb347b4d080a3f4;hp=b525e47f6d9004d654a46dca1ce2c435f5b6fcd5;hpb=9e5aca768e23c9e0b555d3010c924264a1b920d0;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index b525e47f6..65155112d 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,21 +1,28 @@ - + + - Matita home page - community - + 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. -

- +
+

Matita Community

+ +

Mailing lists

+

+ Discussions about Matita are held in the following mailing list +

+ Matita mailing list +

+ The list is open to subscriptions for everyone, subscription is + required in order to post. Archives of old posts are available. +

+

Here a link to the administrative interface

+ + + +
-